Mathématiques
et Interactions
-
Les vidéos associées à RocqVoir +
![Trocq: Proof Transfer for Free, Beyond Equivalence and Univalence]()
01:06:05publiée le 15 décembre 2025Trocq: Proof Transfer for Free, Beyond Equivalence and Univalence
De Cyril Cohen
![Proof Assistant Assistants: From teaching Rocq to LLM-assisted proofs]()
58:23publiée le 15 décembre 2025Proof Assistant Assistants: From teaching Rocq to LLM-assisted proofs
De Guillaume Baudart , Emilio Jesús Gallego Arias
