https://github.com/dmxlarchey/pc19

Exercices and Examples for the PC'19 Autumn school
https://github.com/dmxlarchey/pc19

Last synced: about 1 month ago
JSON representation

Exercices and Examples for the PC'19 Autumn school

• Host: GitHub
• URL: https://github.com/dmxlarchey/pc19
• Owner: DmxLarchey
• License: other
• Created: 2019-09-18T12:51:37.000Z (over 5 years ago)
• Default Branch: master
• Last Pushed: 2019-11-09T00:13:47.000Z (over 5 years ago)
• Last Synced: 2025-02-16T14:27:54.205Z (3 months ago)
• Language: Coq
• Size: 1.28 MB
• Stars: 4
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE_CeCILL_V2-en.txt

Awesome Lists containing this project

README

        
# PC19

Exercices and Examples for the PC'19 Autumn school