Projects with this topic
Sort by:
-
Introduction to the Calculus of Costructions and the Rocq proof-assistant. Developed for the final exam of the master's course "Fondamenti logico-matematici dell'Informatica".
Updated
Introduction to the Calculus of Costructions and the Rocq proof-assistant. Developed for the final exam of the master's course "Fondamenti logico-matematici dell'Informatica".
