Theorem Proving in Lean 4

https://lean-lang.org/theorem_proving_in_lean4

Theorem Proving in Lean 4 is a comprehensive guide to developing and verifying proofs using Lean, an...

Tokens:104,310
Snippets:720
Trust Score:10
Update:3 months ago
Tokens:
Raw