GitHub repository: mattulbrich/gbi-nat-ded
Primary language: Kotlin
Created: 2023-12-10T21:29:17Z
Description: Webapp for the Natural Deduction Calculus as taught in the course "Grundbegriffe der Informatik" at KIT