Geeks
mtoohey31
/
lott
An ott-like DSL embedded in Lean.
Primary Language
Lean
lott GitHub
Markdown
Readme
1
Issue
0
Stargazers
1
Watcher
Issues
Open issue
Add syntax sugar for defining judgement negations
#1 opened
in 5 hours
0