AISE-Auto: Automation of First- and Higher-Order Logic (Gruppe1)
Semester: 2023 Sommersemester