https://github.com/math-comp/poplmark
Solutions for the POPLmark challenge
https://github.com/math-comp/poplmark
coq mathcomp ssreflect
Last synced: 7 months ago
JSON representation
Solutions for the POPLmark challenge
- Host: GitHub
- URL: https://github.com/math-comp/poplmark
- Owner: math-comp
- Created: 2019-11-06T21:23:23.000Z (over 6 years ago)
- Default Branch: master
- Last Pushed: 2019-11-09T14:32:02.000Z (over 6 years ago)
- Last Synced: 2024-07-30T17:54:31.392Z (over 1 year ago)
- Topics: coq, mathcomp, ssreflect
- Language: Coq
- Homepage:
- Size: 38.1 KB
- Stars: 7
- Watchers: 16
- Forks: 0
- Open Issues: 0