https://github.com/lethom/speccert
History
Tip revision: 8c1edfb173548af0e9ca3c4e24d43726401fdb71 authored by Thomas Letan on 21 October 2021, 12:42:57 UTC
chore: update for Coq 8.14
Tip revision: 8c1edfb
File Mode Size
src
.gitignore -rw-r--r-- 113 bytes
Files -rw-r--r-- 3.5 KB
LICENSE -rw-r--r-- 20.9 KB
Makefile -rw-r--r-- 699 bytes
README.md -rw-r--r-- 689 bytes
_CoqProject -rw-r--r-- 17 bytes

README.md

back to top