dagurtomas

dagurtomas/rigid

8 good first / help-wanted issues · Lean · last activity Jul 23, 2026

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 3 months ago

enhancement help wanted available large

dagurtomas/rigid

1

Lean

Generalize Tate algebras to positive polyradii 3 months ago

enhancement help wanted available large

dagurtomas/rigid

1

Lean

Complete the global rigid–Berkovich comparison functor 3 months ago

enhancement help wanted blocked large

dagurtomas/rigid

1

Lean

Implement rigid-space products, closed immersions, and separatedness 3 months ago

enhancement help wanted blocked large

dagurtomas/rigid

1

Lean

Construct canonical affinoid rigid spaces and atlases 3 months ago

enhancement help wanted blocked large

dagurtomas/rigid

1

Lean

Construct canonical affinoid Berkovich spaces 3 months ago

enhancement help wanted blocked large

dagurtomas/rigid

1

Lean

Develop analytic functions on Berkovich rational and affinoid domains 3 months ago

enhancement help wanted available large

dagurtomas/rigid

1

Lean

Clean remaining production lint warnings 3 months ago

enhancement help wanted good first issue available

dagurtomas/rigid

1

Lean