Towards an example of a perfectoid field - Githubissues

leanprover-community / lean-perfectoid-spaces

Perfectoid spaces in the Lean formal theorem prover.

https://leanprover-community.github.io/lean-perfectoid-spaces/

Apache License 2.0

115 stars 13 forks source link

Towards an example of a perfectoid field #62

Open jcommelin opened 4 years ago