GitHub repository: kbuzzard/lean-perfectoid-spaces
Primary language: Lean
Created: 2018-06-01T22:39:14Z
Description: A formalization of the concept of a perfectoid space in the Lean formal theorem prover.