back to root

back to bookclub

2020-10-29 at 15:00 (CET): Using Resolution Proofs to Ana...

• Mathias Fleury

  2020-10-29 7:10:57 (GMT)

  Today's link: https://jitsi.mpi-klsb.mpg.de/sneeuwbal_bookclub. See you later!

• Mathias Fleury

  2020-10-29 14:1:8 (GMT)

  Happening now!