https://github.com/dagit/mizar-parser
Haskell parser for Mizar
https://github.com/dagit/mizar-parser
Last synced: 4 months ago
JSON representation
Haskell parser for Mizar
- Host: GitHub
- URL: https://github.com/dagit/mizar-parser
- Owner: dagit
- License: bsd-3-clause
- Created: 2014-06-11T23:12:29.000Z (about 12 years ago)
- Default Branch: master
- Last Pushed: 2014-06-11T23:13:03.000Z (about 12 years ago)
- Last Synced: 2024-12-31T04:41:59.885Z (over 1 year ago)
- Language: Haskell
- Size: 109 KB
- Stars: 1
- Watchers: 3
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- License: LICENSE