P

Proof Assistant

Exercises for the Type theory course held at the University of Padua for the master degree in Computer Science

Project for the type theory course held at the University of Padua. This project implements an implementation and proof for the merge sort algorithm

Lessons code for the Agda mini course held in Verona

Lecture notes and study material for the Proof Assistant Coq

Classical logic truth table magma algebra