leanprover-community / lean-perfectoid-spacesLinks

Perfectoid spaces in the Lean formal theorem prover.
β˜†123Updated 11 months ago

Alternatives and similar repositories for lean-perfectoid-spaces

Users that are interested in lean-perfectoid-spaces are comparing it to the libraries listed below

Sorting: