lean-perfectoid-spaces icon indicating copy to clipboard operation
lean-perfectoid-spaces copied to clipboard

Published 20 hours ago • verified publisher icon leanprover-community
→

Metadata

Perfectoid spaces in the Lean formal theorem prover.

lean-perfectoid-spaces Build Status

A formalization of the concept of a perfectoid space in the Lean formal proof verification system.

By Kevin Buzzard, Johan Commelin, and Patrick Massot.

See the project website.

← Metadata

114
Stars
12
Forks
Watchers

Owner

verified publisher icon leanprover-community

Metadata

Perfectoid spaces in the Lean formal theorem prover.

Back