rmonat - Overview

Popular repositories Loading

1. batman batman Public archive

   a BAsic Thread-Modular Analyzer developped during an internship in the ANTIQUE team, at the ENS Ulm

   OCaml

3. Project of M1@ENS Lyon, simulation of waves

   C

5. HOL HOL Public

   Forked from HOL-Theorem-Prover/HOL

   Canonical sources for HOL4 theorem-proving system. Branch master is where "mainline development" occurs.

   Standard ML

6. coq coq Public

   Forked from rocq-prover/rocq

   Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…

   OCaml