Skip to content

progresses toward tate acyc - #44

Open
Yoaskay wants to merge 2 commits into
dagurtomas:mainfrom
Yoaskay:tateacyc3
Open

progresses toward tate acyc#44
Yoaskay wants to merge 2 commits into
dagurtomas:mainfrom
Yoaskay:tateacyc3

Prove Tate acyclicity via Cech comparison

bc47367
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
build
succeeded Jul 24, 2026 in 5m 43s