Geeks
Innf107
/
lily
A proof assistant
Primary Language
Haskell
BSD 3-Clause "New" or "Revised" License
BSD-3-Clause
lily GitHub
Markdown
Readme
0
Issues
3
Stargazers
1
Watcher
Watchers
Innf107