Theorem Proving in Lean 4

https://github.com/leanprover/theorem_proving_in_lean4

Theorem Proving in Lean 4

Tokens:7,874
Snippets:32
Trust Score:7.8
License:Apache-2.0
Update:1 week ago
Tokens:
Raw