cubical icon indicating copy to clipboard operation
cubical copied to clipboard

Published 20 hours ago • verified publisher icon agda

Where should I put stuffs about 2LTT?

Open kangrongji opened this issue 2 years ago • 0 comments

I want to add some facts about 2LTT to the library but not sure the suitable place for them. See #910 .

kangrongji avatar Aug 23 '22 09:08 kangrongji