Free Lean programming language books online | devlibrary.org

Categories / Lean programming language

Functional Programming in Lean

by David Thrane Christiansen

Functional programming Lean programming language Theorem prover