Theorem Proving in Lean 4

https://leanprover.github.io/theorem_proving_in_lean4/

Theorem Proving in Lean 4 is a comprehensive guide to formal theorem proving using the Lean 4 proof...

Tokens:123,752
Snippets:1,295
Trust Score:8.3
Update:1 month ago
Tokens:
Raw