Mathématiques synthétiques, calcul logique affine et systèmes de preuve efficients

Synthetic mathematics, logic-affine computation and efficient proof systems

From 2025-09-08 To 2025-09-12