 Logic and Proof (Lean book) (source code)

by Ciro Santilli (@cirosantilli, 37)

= Logic and Proof
{disambiguate=Lean book}

https://leanprover-community.github.io/logic_and_proof/index.html

 Back to article page