Explore projects

Formalization of https://hal-ens-lyon.archives-ouvertes.fr/ensl-00737881

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

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

Interface externe permettant aux assos de communiquer avec l'API Keycloak

An attempt to rewrite permit