https://github.com/awalterschulze/coq_in_a_hurry_exercises

Coq in a Hurry - Exercises
https://github.com/awalterschulze/coq_in_a_hurry_exercises

coq exercises-solutions

Last synced: about 1 month ago
JSON representation

Coq in a Hurry - Exercises

• Host: GitHub
• URL: https://github.com/awalterschulze/coq_in_a_hurry_exercises
• Owner: awalterschulze
• Created: 2019-10-20T15:41:47.000Z (over 5 years ago)
• Default Branch: main
• Last Pushed: 2021-08-24T16:35:57.000Z (over 3 years ago)
• Last Synced: 2024-10-05T10:41:12.494Z (4 months ago)
• Topics: coq, exercises-solutions
• Language: Coq
• Size: 3.91 KB
• Stars: 2
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# coq_in_a_hurry_exercises

Exercises implemented from [Coq in a Hurry](https://cel.archives-ouvertes.fr/file/index/docid/459139/filename/coq-hurry.pdf)