Geeks
clayrat
/
guarded-absint
Guarded abstract interpretation
Primary Language
Agda
guarded-absint GitHub
Markdown
Readme
0
Issues
2
Stargazers
1
Watcher
Stargazers
hirrolot
Fordham University
vzhn
Montenegro