2:00 - 3:00pm
Seminar
Search, Reason or Recombine?—Paradigms for Scaling Formal Proving
Fabian Gloeckle
2:00 - 3:00pm