Geeks
VojtechStep
/
jscoq-nix
Nix infrastructure for using jsCoq
Primary Language
Nix
jscoq-nix GitHub
Markdown
Readme
1
Issue
2
Stargazers
2
Watchers
Issues
Closed issue
Is this only for Linux + x86/x64?
#1 opened
2 years ago
9