Skip to content

feat/chore: move definition of surfaces#141

Open
alreadydone wants to merge 10 commits into
leanprover:mainfrom
alreadydone:move_surfaces
Open

feat/chore: move definition of surfaces#141
alreadydone wants to merge 10 commits into
leanprover:mainfrom
alreadydone:move_surfaces

move import EvalTools.Markers

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

Annotations

1 error and 2 warnings
verify
failed May 27, 2026 in 1h 3m 44s