https://github.com/SimonBoulier/ModelStructure-HTS
History
Tip revision: 824474431577e3f998c2c293d5d32c1762d75680 authored by SimonBoulier on 15 April 2016, 18:44:42 UTC
CtxFibrancy
Tip revision: 8244744
File Mode Size
CtxFibrancy
HTS
src
.gitignore -rw-r--r-- 1.5 KB
Category.v -rw-r--r-- 5.7 KB
Impossibility.v -rw-r--r-- 7.3 KB
MyTacs.v -rw-r--r-- 1.8 KB
Overture.v -rw-r--r-- 4.2 KB
README.md -rw-r--r-- 654 bytes
Strict_eq.v -rw-r--r-- 1.4 KB
_CoqProject -rw-r--r-- 356 bytes
configure.sh -rwxr-xr-x 51 bytes
dpd-graph.v -rw-r--r-- 583 bytes

README.md

back to top