https://github.com/UniMath/UniMath
Tip revision: c8eb2c8506a51f846cf1a1ee1d87e95bc25238ad authored by Niels van der Weide on 03 April 2024, 06:59:04 UTC
Clairambault&Dybjer's biequivalence for regular/exact categories and pretoposes (#1870)
Clairambault&Dybjer's biequivalence for regular/exact categories and pretoposes (#1870)
Tip revision: c8eb2c8
| File | Mode | Size |
|---|---|---|
| .github | ||
| UniMath | ||
| build | ||
| emacs | ||
| latex | ||
| sub | ||
| util | ||
| .gitignore | -rw-r--r-- | 456 bytes |
| .gitmodules | -rw-r--r-- | 173 bytes |
| .mailmap | -rw-r--r-- | 10.0 KB |
| .travis.yml-old | -rw-r--r-- | 3.7 KB |
| BUILD_DUNE.md | -rw-r--r-- | 2.6 KB |
| INSTALL.md | -rw-r--r-- | 15.3 KB |
| INSTALL_COQIDE.md | -rw-r--r-- | 738 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.1 KB |
| README.md | -rw-r--r-- | 3.8 KB |
| USAGE.md | -rw-r--r-- | 5.8 KB |
| _config.yml | -rw-r--r-- | 27 bytes |
| coq-unimath.opam | -rw-r--r-- | 471 bytes |
| dune-project | -rw-r--r-- | 47 bytes |
