devlibrary
Authors
/ David Thrane Christiansen
Functional Programming in Lean
by
David Thrane Christiansen
Functional programming
Lean programming language
Theorem prover
Read