devlibrary
Functional Programming in Lean
by
David Thrane Christiansen
Functional programming
Lean programming language
Theorem prover
Read now
We can't find the internet
Attempting to reconnect
Something went wrong!
Attempting to reconnect