max/cubical-transport-hott-lean4
1
0
Fork 0
Code Issues 1 Pull requests Projects Releases Packages Wiki Activity Actions
All workflows lean_action_ci.yml
Actor
All actors max
Status
All status success failure waiting running
REL2 Phase 1: CType.interval primitive
lean_action_ci.yml #13 -Commit ce2ee87723 pushed by max
Dev_REL2
2026-05-01 00:22:27 -05:00
0s
REL2 plan: interval primitive → Bridge → K7 cubical encoding
lean_action_ci.yml #12 -Commit 915b7b3b68 pushed by max
Dev_REL2
2026-04-30 19:48:09 -05:00
0s
REL2 plan: interval primitive → Bridge → K7 cubical encoding
lean_action_ci.yml #11 -Commit 915b7b3b68 pushed by max
main
2026-05-02 00:58:20 -05:00
0s
REL2 plan: interval primitive → Bridge → K7 cubical encoding
lean_action_ci.yml #10 -Commit 915b7b3b68 pushed by max
Dev_REL1
2026-05-02 00:58:20 -05:00
0s
REL1: typing rules + transp/comp derived theorems for .ind + Rust subst
lean_action_ci.yml #9 -Commit 50bb6660d6 pushed by max
Dev_REL1
2026-04-30 19:37:05 -05:00
0s
Add NOTICE: AI tooling acknowledgement; proprietary rights stand on human-directed whole
lean_action_ci.yml #8 -Commit 58330df245 pushed by max
main
2026-04-30 18:58:20 -05:00
0s
Add NOTICE: AI tooling acknowledgement; proprietary rights stand on human-directed whole
lean_action_ci.yml #7 -Commit 58330df245 pushed by max
master
2026-04-29 00:58:20 -05:00
0s
Add proprietary LICENSE; move CI to .forgejo/workflows/, run cubical-test
lean_action_ci.yml #6 -Commit 5e9be0ffe2 pushed by max
master
2026-04-28 00:10:33 -05:00
0s
Regenerate lake-manifest.json: package name cubicalTransport (was stale 'topolei')
lean_action_ci.yml #5 -Commit 92bd67ac4a pushed by max
master
2026-04-28 00:04:19 -05:00
0s
Reorganize: move non-README docs into docs/ subfolder
lean_action_ci.yml #4 -Commit d9f952fa6c pushed by max
master
2026-04-28 00:00:02 -05:00
0s
Docs cleanup: archive PHASE1, accept ZIGZAG_PORT, fix stale paths
lean_action_ci.yml #3 -Commit 8561e19467 pushed by max
master
2026-04-27 23:57:11 -05:00
0s
Split: engine = cubical-transport HoTT only
lean_action_ci.yml #2 -Commit 31d19f655e pushed by max
master
2026-04-27 23:52:17 -05:00
0s
Initial commit: topolei — cubical-transport HoTT in Lean 4 + Rust FFI
lean_action_ci.yml #1 -Commit c2e3ecb3e3 pushed by max
master
2026-04-27 22:35:03 -05:00
0s