coq-formalization topic

List coq-formalization repositories

PolCert

17
Stars
1
Forks
Watchers

A verified polyhedral scheduling validator in Coq.

verified publisher icon verif-scop

VPL

17
Stars
2
Forks
Watchers

Verimag Polyhedra Library

verified publisher icon VERIMAG-Polyhedra