https://github.com/mortberg/UniMath
History
Tip revision: 2075f7d4f1ab29f7b600beb3663e92e9ffcb9839 authored by Benedikt Ahrens on 22 September 2021, 10:20:17 UTC
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

README.md

back to top