dprlr

★ 0 updated 1mo ago ⑂ fork

Directed proof-relevant logical relations in simplicial HoTT

No plain-English explanation yet — one is being written right now. Check back in a minute.