By: David Thrane Christiansen  

Tags: Functional programming   Lean programming language   Theorem prover  

Read online