https://github.com/drouhling/LaSalle
Tip revision: 3d60ab96d66d1bb8a42e3b601b684e1adb706dce authored by Damien Rouhling on 10 February 2020, 09:39:39 UTC
Update to Coq 8.10
Update to Coq 8.10
Tip revision: 3d60ab9
File | Mode | Size |
---|---|---|
.gitignore | -rw-r--r-- | 26 bytes |
Makefile | -rw-r--r-- | 369 bytes |
README.md | -rw-r--r-- | 962 bytes |
_CoqProject | -rw-r--r-- | 76 bytes |
coquelicotComplements.v | -rw-r--r-- | 55.1 KB |
lasalle.v | -rw-r--r-- | 11.3 KB |
pendulum.v | -rw-r--r-- | 41.2 KB |
tychonoff.v | -rw-r--r-- | 30.2 KB |
vect.v | -rw-r--r-- | 17.3 KB |