Monthly Archives: September 2017

A hands-on introduction to cubicaltt

Some months ago I gave a series of hands-on lectures on cubicaltt at Inria Sophia Antipolis that can be found at: The lectures cover the main features of the system and don’t assume any prior knowledge of Homotopy Type … Continue reading

Posted in Uncategorized | 56 Comments