pietercollins

Pinned Repositories

• ariadne

  C++ framework for rigorous computation on cyber-physical systems

  Language:C++2895829

• release-1.0

  Frozen 1.0 release of the Ariadne C++ framework for cyber-physical systems

  Language:C++07540

• verifiedcalculus

  A Coq library with verified interval and polynomial model arithmetic

  Language:Coq10

pietercollins's Repositories