Explore projects

Selbstbalancierender Roboter

Das bekannte Denkspiel für das SPiCboard

2 keyboard, the keyboard you can control with just 3 keys

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.

Collection of programs using different finite-element libraries to adaptively solve partial differential equations.

A Go library for Adora Belle

Project repository for advanced discretization methods Spring term 2022

contains tex source files for advPT summary WS15/16