Skip to content

feat(PhyslibAlpha): add line surface#1190

Merged
jstoobysmith merged 2 commits into
leanprover-community:masterfrom
Robby955:line-surface
Jun 17, 2026
Merged

feat(PhyslibAlpha): add line surface#1190
jstoobysmith merged 2 commits into
leanprover-community:masterfrom
Robby955:line-surface

docs(surfaces): expand line distribution docstring

bca60f1
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Comment a pull_request
succeeded Jun 16, 2026 in 23s