https://github.com/math-comp/poplmark

Solutions for the POPLmark challenge
https://github.com/math-comp/poplmark

coq mathcomp ssreflect

Last synced: 2 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 (about 5 years ago)
• Default Branch: master
• Last Pushed: 2019-11-09T14:32:02.000Z (about 5 years ago)
• Last Synced: 2024-07-30T17:54:31.392Z (6 months ago)
• Topics: coq, mathcomp, ssreflect
• Language: Coq
• Homepage:
• Size: 38.1 KB
• Stars: 7
• Watchers: 16
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project