Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/mbovel/itp-project

Last synced: about 1 month ago
JSON representation

Host: GitHub
URL: https://github.com/mbovel/itp-project
Owner: mbovel
Created: 2024-04-11T12:03:17.000Z (10 months ago)
Default Branch: main
Last Pushed: 2024-06-07T20:36:54.000Z (8 months ago)
Last Synced: 2024-10-28T21:25:27.258Z (3 months ago)
Language: HTML
Size: 183 KB
Stars: 0
Watchers: 2
Forks: 1
Open Issues: 1
Metadata Files:
- Readme: Readme.md

Awesome Lists containing this project

README

        # Interactive Theorem Proving Project, EPFL, Spring 2024

*Matt Bovel, Samuel Chassot*

- [Report](report.md)

- [Slides](https://mbovel.github.io/itp-project/presentation.html)

- [Code](src/)