https://github.com/rog0d/compil

Updated version of the code found on Xavier Leroy's Compil course
https://github.com/rog0d/compil

compil coq

Last synced: 9 days ago
JSON representation

Updated version of the code found on Xavier Leroy's Compil course

• Host: GitHub
• URL: https://github.com/rog0d/compil
• Owner: roG0d
• Created: 2022-05-24T15:39:55.000Z (over 2 years ago)
• Default Branch: main
• Last Pushed: 2022-09-03T15:49:39.000Z (about 2 years ago)
• Last Synced: 2024-10-10T21:41:02.944Z (about 1 month ago)
• Topics: compil, coq
• Language: Coq
• Homepage: https://xavierleroy.org/courses/Eugene-2011/
• Size: 1.33 MB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        

# README

- This code is an uptated versión of the original code found on this [course](https://xavierleroy.org/courses/Eugene-2011/) which runs on Coq version 8.2pl2. 

- The actual versión of the code is Coq version 8.14.1

- The coq files are the .v ones. The other ones are the compilations of the .v files, if you have coq v.8.14.1 you can actually just download it and run the code. If not, you would have to take the .v files and compile them one by one.