Explore projects

Formal Developments and Proofs in Coq of Numerical Analysis Problems.

Translation of LTL formulae from JSON into Helena syntax.

General Opacity Supervision tool

Partial Order Model checker for PETri nets

repository of the sbench python package

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

Le fork LIPN de Mastodon pour l'instance lipn.info. Basé sur le dépot officiel et sur le dépôt Mathstodon