https://github.com/leanprover/mathlib
History
Tip revision: 4582260251ba98c11213a87850ea8e0527ac2dc8 authored by Ashvni on 06 January 2021, 13:36:19 UTC
moved submodule related lemmas
Tip revision: 4582260
File Mode Size
.github
.vscode
archive
docs
roadmap
scripts
src
test
.gitignore -rw-r--r-- 89 bytes
CODE_OF_CONDUCT.md -rw-r--r-- 5.2 KB
LICENSE -rw-r--r-- 11.1 KB
README.md -rw-r--r-- 3.6 KB
bors.toml -rw-r--r-- 235 bytes
leanpkg.toml -rw-r--r-- 122 bytes

README.md

back to top