A course on formal verification at https://compsciclub.ru/en, Spring term 2021
-
Updated
Feb 28, 2023 - HTML
#
Mathematical Components
Mathematical Components is a repository of formalized mathematics developed using
the Coq proof assistant. This project finds its roots in the formal proof of
the Four Color Theorem. It has been used for large scale formalization projects,
including a formal proof of the Odd Order (Feit-Thompson) Theorem.
Here are 2 public repositories matching this topic...
Created by Georges Gonthier
Released 2008
Latest release 21 days ago
- Followers
- 31 followers
- Repository
- math-comp/math-comp
- Website
- math-comp.github.io