Explore projects

This experimental project aims to build a proof assistant for propositional logic inside another proof assistant: Coq. The main idea is to implement natural deduction rules from the GLoIn-Lecture directly in Coq in order to have a suitable environment to prove stuff in Fitch-Style inside of Coq.

Braindump der BFS Klausur vom Sommersemester 2019

Braindump der BFS Klausur vom Sommersemester 2019

Sammlung von Fragen zu SP2 mit Kommentaren.

Project for my Computational Physics 2 class

Dockerfiles to generate Images for CI build & test

Sammlung von Fragen zu SP2 mit Kommentaren.