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

linkfix #49

Closed fpvandoorn closed 5 years ago

fpvandoorn commented 5 years ago

(this link broke by https://github.com/leanprover-community/mathlib/pull/1012)

jcommelin commented 5 years ago

Thanks for pointing this out. Unfortunately, it has to be changed in docs_src/install.md and then the website must be regenerated. We'll take care of it...