rmonat - Overview

Raphaël Monat rmonat

Research Scientist at Inria, Lille, France

batman batman Public archive

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

OCaml
Project of M1@ENS Lyon, simulation of waves

C
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
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