Books by David Thrane Christiansen

📖

Functional Programming in Lean Functional programming Lean programming language Theorem prover