Skip to main content

Browse the archive

Revision af4b86e6ad6cfd242562f9c33c0e438298fc4e1f authored by Théo Zimmermann on 07 September 2021, 14:21:48 UTC, committed by GitHub on 07 September 2021, 14:21:48 UTC 
Merge pull request #161 from Zimmi48/update-ci-8.13
 
Update meta.yml and CI to test Coq 8.13.
2 parent s c366d3f + a8eb1a9
History
File Mode Size
Opaque_algebra.v -rw-r--r-- 1.4 KB
back to top