dagurtomas

dagurtomas/rigid

1 stars 4 forks 1 watchers Lean

8 Open Issues Need Help Last updated: Jul 23, 2026

Open Issues Need Help

View All on GitHub

Develop maximal-spectrum topology and residue fields 13 days ago

enhancement help wanted available large

dagurtomas/rigid

1

Lean

Generalize Tate algebras to positive polyradii 13 days ago

enhancement help wanted available large

dagurtomas/rigid

1

Lean

Complete the global rigid–Berkovich comparison functor 13 days ago

enhancement help wanted blocked large

dagurtomas/rigid

1

Lean

Implement rigid-space products, closed immersions, and separatedness 13 days ago

enhancement help wanted blocked large

dagurtomas/rigid

1

Lean

Construct canonical affinoid rigid spaces and atlases 13 days ago

enhancement help wanted blocked large

dagurtomas/rigid

1

Lean

Construct canonical affinoid Berkovich spaces 13 days ago

enhancement help wanted blocked large

dagurtomas/rigid

1

Lean

Develop analytic functions on Berkovich rational and affinoid domains 13 days ago

enhancement help wanted available large

dagurtomas/rigid

1

Lean

Clean remaining production lint warnings 13 days ago

enhancement help wanted good first issue available

dagurtomas/rigid

1

Lean