Skip to content

Map Graph Recognition - #922

Open
anujthak wants to merge 5 commits into
digraphs:mainfrom
anujthak:map-graphs
Open

anujthak wants to merge 5 commits into
digraphs:mainfrom
anujthak:map-graphs

Fix gaplint

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

Annotations

2 warnings and 1 notice
ubuntu32 / GAP stable-4.15
succeeded Oct 15, 2026 in 5m 54s