Books in Theorem prover

1 book

Functional Programming in Lean

by David Thrane Christiansen

Functional programming Lean programming language Theorem prover

Read

We can't find the internet

Attempting to reconnect

Something went wrong!

Attempting to reconnect