12 results found Sort:
- Filter by Primary Language:
- Coq (10)
- HTML (1)
- Prolog (1)
- +
Mathematical Components
Created
2015-03-11
2,278 commits to master branch, last one 7 days ago
Mathematical Components compliant Analysis Library
Created
2017-11-29
2,325 commits to master branch, last one a day ago
Formal proof of the Four Color Theorem [maintainer=@ybertot]
Created
2018-11-06
125 commits to master branch, last one 8 days ago
Lecture notes for a short course on proving/programming in Coq via SSReflect.
Created
2014-05-20
437 commits to master branch, last one 3 years ago
High level commands to declare a hierarchy based on packed classes
Created
2019-04-09
1,084 commits to master branch, last one 11 days ago
Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq
Created
2016-11-18
198 commits to master branch, last one 3 months ago
Monadic effects and equational reasonig in Coq
Created
2018-08-06
681 commits to master branch, last one 28 days ago
The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]
Created
2014-02-10
814 commits to master branch, last one 3 months ago
A Coq formalization of information theory and linear error-correcting codes
Created
2017-12-20
879 commits to master branch, last one 29 days ago
A course on formal verification at https://compsciclub.ru/en, Spring term 2021
Created
2021-03-12
72 commits to master branch, last one about a year ago
Automation for de Bruijn syntax and substitution in Coq [maintainers=@RalfJung,@co-dan]
Created
2015-06-03
211 commits to master branch, last one 2 months ago
Functional Algorithms Verified in SSReflect [maintainer=@clayrat]
Created
2021-10-29
96 commits to trunk branch, last one 8 days ago