redtt icon indicating copy to clipboard operation
redtt copied to clipboard
verified publisher icon RedPRL

Indexed cubical inductive types

Open jonsterling opened this issue 7 years ago • 0 comments

jonsterling avatar Aug 06 '18 09:08 jonsterling