https://github.com/leanprover/mathlib
History
Tip revision: 1ec95547d5ff8b952af9d7543ac5323a2e7c0ec9 authored by Violeta Hernández on 09 December 2021, 18:19:42 UTC
Merge branch 'imo2014q1' of https://github.com/leanprover-community/mathlib into imo2014q1
Tip revision: 1ec9554
File Mode Size
.devcontainer
.docker
.github
.vscode
archive
counterexamples
docs
roadmap
scripts
src
test
.gitignore -rw-r--r-- 106 bytes
.gitpod.yml -rw-r--r-- 185 bytes
CODE_OF_CONDUCT.md -rw-r--r-- 5.2 KB
LICENSE -rw-r--r-- 11.1 KB
README.md -rw-r--r-- 4.4 KB
bors.toml -rw-r--r-- 484 bytes
leanpkg.toml -rw-r--r-- 122 bytes

README.md

back to top