awainverse / lean-perfectoid-spaces Goto Github PK
View Code? Open in Web Editor NEWThis project forked from leanprover-community/lean-perfectoid-spaces
Perfectoid spaces in the Lean formal theorem prover.
Home Page: https://leanprover-community.github.io/lean-perfectoid-spaces/
License: Apache License 2.0