https://github.com/mortberg/UniMath
Tip revision: 2075f7d4f1ab29f7b600beb3663e92e9ffcb9839 authored by Benedikt Ahrens on 22 September 2021, 10:20:17 UTC
Merge pull request #1395 from rmatthes/maintheoremofcontinuousapproach
Merge pull request #1395 from rmatthes/maintheoremofcontinuousapproach
Tip revision: 2075f7d
File | Mode | Size |
---|---|---|
.github | ||
UniMath | ||
build | ||
emacs | ||
latex | ||
sub | ||
util | ||
.gitignore | -rw-r--r-- | 423 bytes |
.gitmodules | -rw-r--r-- | 173 bytes |
.mailmap | -rw-r--r-- | 9.9 KB |
.travis.yml-old | -rw-r--r-- | 3.7 KB |
INSTALL.md | -rw-r--r-- | 13.6 KB |
INSTALL_COQIDE.md | -rw-r--r-- | 632 bytes |
INSTALL_NIX.md | -rw-r--r-- | 2.4 KB |
INSTALL_OPAM.md | -rw-r--r-- | 3.2 KB |
INSTALL_WIN.md | -rw-r--r-- | 2.8 KB |
LICENSE.md | -rw-r--r-- | 778 bytes |
Makefile | -rw-r--r-- | 19.9 KB |
README.md | -rw-r--r-- | 2.8 KB |
USAGE.md | -rw-r--r-- | 4.8 KB |
_config.yml | -rw-r--r-- | 27 bytes |