Skip to content

[WIP draft] F1 spike checkpoint — genuine graded comonad (feasibility…

8682447
Select commit
Loading
Failed to load commit list.
Merged

Reframe to mechanised truth (retraction R-2026-05-18) #47

[WIP draft] F1 spike checkpoint — genuine graded comonad (feasibility…
8682447
Select commit
Loading
Failed to load commit list.