Book details
Functional Programming in Lean
Topics: Functional programming , Lean programming language , Theorem prover
Book details
Topics: Functional programming , Lean programming language , Theorem prover
We can't find the internet
Attempting to reconnect
Something went wrong!
Attempting to reconnect