Geeks
jscoq
/
addon-elpi
Elpi addon plugin for jsCoq
Primary Language
JavaScript
addon-elpi GitHub
Markdown
Readme
0
Issues
0
Stargazers
2
Watchers
addon-elpi
Elpi addon plugin for jsCoq