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
Update meta.yml and CI to test Coq 8.13.
File | Mode | Size |
---|---|---|
.github | ||
algebra | ||
broken | ||
classes | ||
complex | ||
coq_reals | ||
doc | ||
dump | ||
examples | ||
fta | ||
ftc | ||
liouville | ||
logic | ||
metric2 | ||
metrics | ||
model | ||
ode | ||
old | ||
opaque | ||
order | ||
raster | ||
reals | ||
site_scons | ||
stdlib_omissions | ||
tactics | ||
tools | ||
transc | ||
util | ||
.gitignore | -rw-r--r-- | 387 bytes |
LICENSE | -rw-r--r-- | 17.6 KB |
Make.in | -rw-r--r-- | 38 bytes |
README.md | -rw-r--r-- | 4.6 KB |
SConstruct | -rw-r--r-- | 1.4 KB |
_CoqProject | -rw-r--r-- | 10 bytes |
configure.sh | -rwxr-xr-x | 625 bytes |
coq-corn.opam | -rw-r--r-- | 2.2 KB |
default.nix | -rw-r--r-- | 843 bytes |
meta.yml | -rw-r--r-- | 4.5 KB |
Computing file changes ...