Geeks
fgdorais
/
lean-universal
Multi-sorted equational logic in Lean
Primary Language
Lean
Apache License 2.0
Apache-2.0
lean-universal GitHub
Markdown
Readme
0
Issues
1
Stargazer
1
Watcher
Stargazers
bryangingechen