https://github.com/viperproject/carbon-proofgen
https://github.com/viperproject/carbon-proofgen
Last synced: 12 months ago
JSON representation
- Host: GitHub
- URL: https://github.com/viperproject/carbon-proofgen
- Owner: viperproject
- License: mpl-2.0
- Created: 2024-12-05T09:11:28.000Z (over 1 year ago)
- Default Branch: proofgen
- Last Pushed: 2025-02-01T19:28:55.000Z (over 1 year ago)
- Last Synced: 2025-02-01T19:34:51.211Z (over 1 year ago)
- Language: Scala
- Size: 7.1 MB
- Stars: 0
- Watchers: 10
- Forks: 0
- Open Issues: 1
-
Metadata Files:
- Readme: README.md
- License: LICENSE.txt