Geeks
intsuc
/
unified-bidirectional-elaboration
Primary Language
Lean
MIT License
MIT
unified-bidirectional-elaboration GitHub
Markdown
Readme
0
Issues
0
Stargazers
1
Watcher
unified-bidirectional-elaboration