max/cubical-transport-hott-lean4
1
0
Fork 0
Code Issues 1 Pull requests Projects Releases Packages Wiki Activity Actions

Compare commits

merge into: max:main
Branches Tags
max:main
max:Dev_REL2
max:Dev_REL1
...
pull from: max:main
Branches Tags
max:Dev_REL2
max:Dev_REL1
max:main
These branches are equal. There is no need to create a pull request.