Explore projects

Strategic (Timed) Computation Tree Logic

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