search

leanprover / theorem_proving_in_lean4

Theorem Proving in Lean 4
https://leanprover.github.io/theorem_proving_in_lean4/
Apache License 2.0
164 stars 92 forks source link

This should be capital True I think #125

Open johnmwu opened 3 months ago

johnmwu commented 3 months ago

Screenshot 2024-08-05 at 23 26 23