Geeks
FormalMathematicsLab
/
lean4-logic
Lean4 Logic Formalization.
Primary Language
Lean
lean4-logic GitHub
Markdown
Readme
0
Issues
0
Stargazers
0
Watchers
No issues in this repository yet.