Commits · bfd081cdff2cbed4ca5cf82dc2b0b245689280a7 · supervision / seminar

May 09, 2021
- Archive my logrel talk: add sources for reproducibility, link to YouTube video · 3af27bc2
  Navid Roux authored 3 years ago and Michael Kohlhase committed 3 years ago
  
  3af27bc2
Mar 24, 2021
- no message · 81e95beb
  Florian Rabe authored 3 years ago
  
  81e95beb
Mar 22, 2021
- no message · 4bdfe585
  Florian Rabe authored 3 years ago
  
  4bdfe585
Mar 15, 2021
- no message · c80d1862
  Florian Rabe authored 4 years ago
  
  c80d1862
Jan 27, 2021
- Navid's slides on logical relations · 93803c44
  jfschaefer authored 4 years ago
  
  93803c44
Jan 20, 2021
- no message · df54c8d7
  Florian Rabe authored 4 years ago
  
  df54c8d7
- no message · 3353ec91
  Florian Rabe authored 4 years ago
  
  3353ec91