Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/nrc/n2
WIP another go at a syntactic proof tool
https://github.com/nrc/n2
Last synced: 11 days ago
JSON representation
WIP another go at a syntactic proof tool
- Host: GitHub
- URL: https://github.com/nrc/n2
- Owner: nrc
- Created: 2014-04-06T07:14:44.000Z (over 10 years ago)
- Default Branch: master
- Last Pushed: 2014-04-17T10:17:33.000Z (over 10 years ago)
- Last Synced: 2024-10-28T20:47:07.588Z (about 2 months ago)
- Language: Rust
- Size: 129 KB
- Stars: 0
- Watchers: 3
- Forks: 0
- Open Issues: 0
-
Metadata Files: