https://github.com/UniMath/UniMath
Tip revision: 2f79746a184b51c65bffee26d4a52db0783e3267 authored by Dennis on 18 April 2023, 18:46:51 UTC
Definitions of natural transformations between sections (#1682)
Definitions of natural transformations between sections (#1682)
Tip revision: 2f79746
| 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-- | 9.9 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.4 KB |
| README.md | -rw-r--r-- | 3.0 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 |
