Search papers, labs, and topics across Lattice.
1
0
Rzk makes synthetic reasoning about $\infty$-categories practical by ensuring seamless proof translation from RSTT while optimizing type checking.
