Mathematics
and Interactions
-
Videos linked to RocqMore +
![Trocq: Proof Transfer for Free, Beyond Equivalence and Univalence]()
01:06:05published on December 15, 2025Trocq: Proof Transfer for Free, Beyond Equivalence and Univalence
By Cyril Cohen
![Proof Assistant Assistants: From teaching Rocq to LLM-assisted proofs]()
58:23published on December 15, 2025Proof Assistant Assistants: From teaching Rocq to LLM-assisted proofs
By Guillaume Baudart , Emilio Jesús Gallego Arias
