mccorvie

mccorvie/classification-of-surfaces

1 stars 1 forks 1 watchers Lean
View on GitHub
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 about 5 hours ago
good first issue gallier-xu definition-bug
mccorvie/classification-of-surfaces
1

Lean