Commits · 895c2f7442abbe40ef6e54dc29b5e47812d1c506 · supervision / seminar

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