|
Failed to load latest commit information. |
|
.vscode
|
adding mathlib's settings.json (so we have a ruler at 100 chars)
|
Feb 23, 2019
|
|
|
docs
|
web: Add link to the paper.
|
Nov 4, 2019
|
|
|
docs_src
|
web: Add link to the paper.
|
Nov 4, 2019
|
|
|
src
|
Anonymize perfectoid_spaces.lean
|
Oct 21, 2019
|
|
|
.gitignore
|
Add graphml and dot files to gitignore
|
Oct 1, 2019
|
|
|
.travis.yml
|
Try to fix stupid Travis issue
|
Oct 28, 2019
|
|
|
LICENSE
|
Initial commit
|
Jun 1, 2018
|
|
|
README.md
|
Making link more prominent
|
May 10, 2019
|
|
|
_config.yml
|
YaML issue
|
May 9, 2019
|
|
|
import_graph.py
|
Import graph python script
|
Sep 24, 2019
|
|
|
leanpkg.toml
|
Bump mathlib
|
Oct 25, 2019
|