Popular repositories Loading

1. setpartition_unrank setpartition_unrank Public

   A Go library to lexicographicaly unrank set partitions

   Go 2

2. Assistant-de-preuve2 Assistant-de-preuve2 Public

   OCaml

3. Assistant-de-preuve Assistant-de-preuve Public

   assistant de preuve au premier ordre créer dans le cadre d'un projet de L3

   OCaml

4. bool-circ bool-circ Public

   implémentation des circuits booléens réalisée dans le cadre d'un projet en L2

   Python

5. monColtALaFac monColtALaFac Public

   Implémentation du jeux Colt Express dans le cadre d'un projet en L2

   Java

6. minic minic Public

   implémentation d'un analyseur pour un sous language de C

   OCaml