https://github.com/alexknauth/coq-about-program-fixpoint

Playing around with how to reason about functions defined with `Program Fixpoint` and `Equations` in Coq
https://github.com/alexknauth/coq-about-program-fixpoint

Last synced: about 1 month ago
JSON representation

Playing around with how to reason about functions defined with `Program Fixpoint` and `Equations` in Coq

• Host: GitHub
• URL: https://github.com/alexknauth/coq-about-program-fixpoint
• Owner: AlexKnauth
• License: mit
• Created: 2019-10-30T06:37:35.000Z (about 5 years ago)
• Default Branch: master
• Last Pushed: 2019-10-30T21:18:57.000Z (about 5 years ago)
• Last Synced: 2024-10-16T02:55:11.013Z (3 months ago)
• Language: Coq
• Homepage:
• Size: 9.77 KB
• Stars: 0
• Watchers: 3
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project