certified-programming topic
List
certified-programming repositories
awesome-provable
188
Stars
8
Forks
Watchers
A curated set of links to formal methods involving provable code.
functional-algebra
28
Stars
2
Forks
Watchers
This package provides a Coq formalization of abstract algebra using a functional programming style. The modules contained within the package span monoids, groups, rings, and fields and provides both a...