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

2. emacs_cpp_completion emacs_cpp_completion Public

   Forked from CachesToCaches/emacs_cpp_completion

   C/C++ code completion with emacs using Irony and GTAGS

   C++

3. M1-MPI-WaveSim M1-MPI-WaveSim Public

   Project of M1@ENS Lyon, simulation of waves

   C

4. ER01 ER01 Public

   HTML

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