Search results

migrate CI from Travis to GitHub actions

Status: Open.

#68 In leanprover-community/lean-perfectoid-spaces;

· bryangingechen opened on Apr 17, 2021

PR into mathlib

Status: Open.

#66 In leanprover-community/lean-perfectoid-spaces;

· kckennylau opened on Jun 8, 2020

Perfectoid ring extends Tate ring

Status: Open.

#59 In leanprover-community/lean-perfectoid-spaces;

· jcommelin opened on Oct 1, 2019

Examples of perfectoid spaces

Status: Open.

#33 In leanprover-community/lean-perfectoid-spaces;

· kbuzzard opened on Apr 30, 2019

Maths perfectoid space = Lean perfectoid space

Status: Open.

#32 In leanprover-community/lean-perfectoid-spaces;

· kbuzzard opened on Apr 29, 2019

Documentation

Status: Open.

#31 In leanprover-community/lean-perfectoid-spaces;

· kbuzzard opened on Apr 29, 2019