https://github.com/leanprover/mathlib
History
Tip revision: e81fcf97bfcb65308785fa89f78daf5d1914b070 authored by Scott Morrison on 13 April 2021, 03:08:39 UTC
progress?
Tip revision: e81fcf9
File Mode Size
.github
.vscode
archive
docs
roadmap
scripts
src
test
.gitignore -rw-r--r-- 68 bytes
LICENSE -rw-r--r-- 11.1 KB
README.md -rw-r--r-- 3.4 KB
bors.toml -rw-r--r-- 251 bytes
leanpkg.toml -rw-r--r-- 122 bytes

README.md

back to top