issues
search
leanprover-community
/
lean-perfectoid-spaces
Perfectoid spaces in the Lean formal theorem prover.
https://leanprover-community.github.io/lean-perfectoid-spaces/
Apache License 2.0
115
stars
13
forks
source link
Bump mathlib
#51
Closed
jcommelin
closed
5 years ago
jcommelin
commented
5 years ago
Delete some stuff that has been merged into mathlib.
Delete some stuff that has been merged into mathlib.