mccorvie

mccorvie/classification-of-surfaces

1 good first / help-wanted issue · Lean · last activity Jul 13, 2026

1 stars 1 forks 1 watchers Lean

1 Open Issue Need Help Last updated: Jul 13, 2026

Open Issues Need Help

View All on GitHub

surfaceValid and connected are Prop-typed data fields, not hypotheses 3 months ago

good first issue gallier-xu definition-bug

mccorvie/classification-of-surfaces

1

Lean