14:00 à 15:00
Séminaire
Search, Reason or Recombine?—Paradigms for Scaling Formal Proving
Fabian Gloeckle
14:00 à 15:00