GitHub repository: leanprover-community/lean-perfectoid-spaces
Primary language: Lean
Description: Perfectoid spaces in the Lean formal theorem prover.