Skip to content

feat: graph definitions (#Attempts 3) - #810

Open
sorrachai wants to merge 37 commits into
leanprover:mainfrom
sorrachai:graph_def
Open

feat: graph definitions (#Attempts 3)#810
sorrachai wants to merge 37 commits into
leanprover:mainfrom
sorrachai:graph_def

isLink_imp_left_mem_vertexSet

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

Annotations

1 warning
ci-checks
succeeded Aug 18, 2026 in 5m 22s