Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
1
0
1
You can safely postulate quotient equalities and cast along erased identity proofs without runtime programs getting stuck—until univalence enters the picture.