Skip to content

Latest commit

 

History

History
6 lines (4 loc) · 463 Bytes

README.md

File metadata and controls

6 lines (4 loc) · 463 Bytes

README

  • This code is an uptated versión of the original code found on this course 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.