Geeks
kokic
/
algol
computer algebraic algorithm in lean4
Primary Language
Lean
MIT License
MIT
algol GitHub
Markdown
Readme
0
Issues
2
Stargazers
1
Watcher
Watchers
kokic
Beijing, China