Paolo Imbriani

University notes I have taken during class for Computer Science at University of Verona

This project was developed as part of a university internship and aims at the implementation, in the proof assistant Agda, of a deductive system in natural deduction for modal logic S4.2.

This is a university project for an application that allows diabetes patients to log their blood sugar levels, insulin doses, and other relevantinformation; medics can then access this data to monitor their patients' health and admins can manage users and their data.