rewriting

Refonte complète du site web sur la communauté scientifique autour de la réécriture de termes et son extension au calcul lambda typé.
Description générée le mardi 19 mars 2024 à 20:16:09

D'autres initiatives de la même organisation