issues
search
RedPRL
/
redtt
"Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory
Apache License 2.0
204
stars
12
forks
source link
Some code golfing ;)
#483
Closed
jonsterling
closed
5 years ago
jonsterling
commented
5 years ago
:sunglasses:
cangiuli
commented
5 years ago
Has Science Gone Too Far?
:sunglasses: