Geeks
mtoohey31
/
lott
An ott-like DSL embedded in Lean.
Primary Language
Lean
lott GitHub
Markdown
Readme
4
Issues
0
Stargazers
1
Watcher
Stargazers
No one’s star this repository yet.