Calin Tataru

Publication Activity (10 Years)

Years Active: 2024-2024
Publications (10 Years): 2

Top Topics

Digital Libraries

Clustering Algorithm

Top Venues

Publications

Nathan Corbyn, Lukas Heidemann, Nick Hu, Chiara Sarti, Calin Tataru, Jamie Vicary
homotopy.io: a proof assistant for finitely-presented globular n-categories. CoRR (2024)
Nathan Corbyn, Lukas Heidemann, Nick Hu, Chiara Sarti, Calin Tataru, Jamie Vicary
homotopy.io: A Proof Assistant for Finitely-Presented Globular n-Categories. FSCD (2024)