https://gitlab.liris.cnrs.fr/pactole/coq-pactole.git
Tip revision: 318196bf809c62c086976d766332f0a376caa68c authored by Pierre Courtieu on 16 January 2025, 08:49:46 UTC
Merge branch 'master' into public
Merge branch 'master' into public
Tip revision: 318196b
File | Mode | Size |
---|---|---|
CaseStudies | ||
Core | ||
Models | ||
Observations | ||
Spaces | ||
Util | ||
dev | ||
minipactole | ||
.gitignore | -rw-r--r-- | 248 bytes |
.gitlab-ci.yml | -rw-r--r-- | 545 bytes |
CREDIT.md | -rw-r--r-- | 317 bytes |
DEV.md | -rw-r--r-- | 996 bytes |
INSTALL.md | -rw-r--r-- | 3.1 KB |
LICENSE | -rw-r--r-- | 7.5 KB |
Makefile.local | -rw-r--r-- | 2.0 KB |
Pactole_all.v | -rw-r--r-- | 2.4 KB |
README.md | -rw-r--r-- | 5.7 KB |
Setting.v | -rw-r--r-- | 3.3 KB |
_CoqProject | -rw-r--r-- | 3.2 KB |
codemeta.json | -rw-r--r-- | 2.2 KB |
metrics.txt | -rw-r--r-- | 1.3 KB |
README.md

Loading README.md ...