Explore projects

the bot code for BTDCIS Part 2

Yet Another Proof Asistant (for fun).

CR10 project

Workshop Fondations et Information Quantique

Workshop on Permanantal and Determinantal processes: from quantum physics to signal processing.

Voronoi algorithm for pure cubic fields

J'abhorre ce projet, et exècre sa vaine existence

Quelques informations utiles à afficher sur les écrans des couloirs de l'ENS.