max/cubical-transport-hott-lean4
1
0
Fork 0
Code Issues 1 Pull requests Projects Releases Packages Wiki Activity Actions
12 commits 3 branches 0 tags 2.1 MiB
Commit graph

1 commit

Author SHA1 Message Date
Maximus Gorog
58330df245 Add NOTICE: AI tooling acknowledgement; proprietary rights stand on human-directed whole
Some checks failed
Lean Action CI / build (push) Has been cancelled
Details
2026-04-27 23:10:32 -06:00