Verimag News
Seminars
-
In 1 month,
Basile Gros
(Université Grenoble Alpes)
on 26 November 2026 at
14h00 :
« Proxy-based small inversions for the Rocq prover »
(Thesis)
Seminars
- In 1 month, Basile Gros (Université Grenoble Alpes) on 26 November 2026 at 14h00 : « Proxy-based small inversions for the Rocq prover » (Thesis)
