https://github.com/leanprover/mathlib
History
Tip revision: 6f5ee17b2b2f1c278228c2645aef5b5c947859ba authored by Johan Commelin on 04 February 2020, 09:22:01 UTC
Remove code that belonged to other PRs
Tip revision: 6f5ee17
File Mode Size
.github
.vscode
archive
docs
scripts
src
test
.gitignore -rw-r--r-- 99 bytes
.mergify.yml -rw-r--r-- 1.8 KB
LICENSE -rw-r--r-- 11.1 KB
README.md -rw-r--r-- 2.9 KB
leanpkg.toml -rw-r--r-- 95 bytes

README.md

back to top