Geeks
iacore
/
Kind1
A modern proof language
Primary Language
JavaScript
MIT License
MIT
Kind1 Home Page
Kind1 GitHub
Markdown
Readme
0
Issues
1
Stargazer
0
Watchers
Stargazers
iacore
the Internet