Pinned Repositories
collapse
Collapse System Logic — deterministic proof collapse (E→Z→1)
collapse-logic's Repositories
collapse-logic/collapse
Collapse System Logic — deterministic proof collapse (E→Z→1)
Collapse System Logic — deterministic proof collapse (E→Z→1)
Collapse System Logic — deterministic proof collapse (E→Z→1)