Calin Tataru

According to our database, Calin Tataru authored at least 1 paper in 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

homotopy.io: A Proof Assistant for Finitely-Presented Globular n-Categories.

Nathan Corbyn, Lukas Heidemann, Nick Hu, Chiara Sarti, Calin Tataru, Jamie Vicary

Proceedings of the 9th International Conference on Formal Structures for Computation and Deduction, 2024