https://github.com/lethom/speccert
Tip revision: 8c1edfb173548af0e9ca3c4e24d43726401fdb71 authored by Thomas Letan on 21 October 2021, 12:42:57 UTC
chore: update for Coq 8.14
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 |