Mathématiques
et Interactions

De Lon Adrian

https://adelon.net/

Bonn
DE

• Une vidéo
  

  58:14

  publiée le 15 décembre 2025

  Towards autoformalization of textbook mathematics with natural proof checking

  De De Lon Adrian