Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
University of Chicago
1
0
2
Transforming the rigid equational structure of SMCs into intuitive diagrammatic reasoning could revolutionize how we approach proof verification in computational contexts.