Explore projects

Course notes of Colin Riba's and Pierre Clairambault's Advanced Semantics course.

An automated prover for bi-intuitionistic logic, based on resource graphs. (README in french)

OA 2019/2019 - Homework 1 - Simplex Algorithm

By Gabriel Bathie

Our mission is to bring together like-minded people to brew their own beer using our professional grade kit in our own controlled, friendly and supportive environments. We welcome total beginners through to experienced brewers, to join our communit