Giters

agl / theorem_proving_in_lean4

Theorem Proving in Lean 4

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

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

agl/theorem_proving_in_lean4 Watchers