This project is archived. Its data is read-only. This project is read-only.

rocq-study Archived

Project information

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".

rocq Coq calculus of ... lambda cube

23 Commits
1 Branch
0 Tags

README
Creative Commons Attribution 4.0 International

Created on

July 14, 2025

Loading