Explore projects

Strategic (Timed) Computation Tree Logic

This repository contains pnml from the MCC (https://mcc.lip6.fr).

Fork of the Coq Num Analysis library to test Continuous Integration

Translation of LTL formulae from JSON into Helena syntax.

Formal Developments and Proofs in Coq of Numerical Analysis Problems.

Solving MCNF using GCNs