Explore projects

Towards a reproducible research study with Guix

Itauto: an Extensible Intuitionistic SAT Solver

notes de thèse pour Pierre-Antoine Rault - dernier rapport

A tutorial to provide a solid basis to start writing proper C++ code with the latest versions of the standard.

Implementing symbolic data structure numeric grounding

(Fork) A tutorial to provide a solid basis to start writing proper C++ code with the latest versions of the standard.