Interactive theorem proving

CS-428

Project proposal

This page is part of the content downloaded from Project proposal on Sunday, 29 June 2025, 20:47. Note that some content and any files larger than 50 MB are not downloaded.

Description

Instructions for the project proposal can be found here: https://systemf.epfl.ch/cs428/#detailed-instructions-1