leanprover-community / lean-perfectoid-spacesLinks

Perfectoid spaces in the Lean formal theorem prover.
β˜†121Updated 10 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: