Functional Programming in Lean

by David Thrane Christiansen
Functional programming Lean programming language Theorem prover
Read online