GitHub repository: logic-gu/logic-gu.github.io
Primary language: HTML
Created: 2024-08-21T18:14:55Z
Description: Webpage of the Logic Group at the University of Gothenburg