Explore projects

TaPAS is a set of ANSI C libraries related to Presburger Arithmetic and a small solver program.

Comparison of Ultimate Frisbee Tournament and Championship (done during Université de Bordeaux Licence 1 internship of Adrian Pino at LaBRI from June 12th to July 7th 2023)

Spécification et preuves des algos de parcoursup

a graph generator

Principe : Faire un TP Noté en télétravail