search

greleigh / Logic-GU

Homepage for the Logic group at the University of Gothenburg
2 stars 5 forks source link

Add title for Johannes' talk #80

Closed dowehr closed 1 year ago