14:00 to 15:00
Seminar
Search, Reason or Recombine?—Paradigms for Scaling Formal Proving
Fabian Gloeckle
14:00 to 15:00