Free Theorem prover books online | devlibrary.org

Categories / Theorem prover

Functional Programming in Lean

by David Thrane Christiansen

Functional programming Lean programming language Theorem prover