michael/cubical-hott
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
cubical-hott/cubical-hott.agda-lib

2 lines
28 B
Text
Raw Permalink Normal View History

initial
2024-09-12 05:43:14 +00:00
include: src
depend: cubical
Reference in a new issue Copy permalink