Explore projects

Das bekannte Denkspiel für das SPiCboard

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.

Project repository for advanced discretization methods Spring term 2022

contains tex source files for advPT summary WS15/16

Meine Seminararbeit im Seminar AKSS im Wintersemester 2015/2016

A comprehensive POSIX allocator benchmark environment

AnyCall (bpftask) evaluation scripts and build environment.

Luci ATC23 Artifact Evaluation

The boring elaboration of my bachelor thesis. If the build succeeds the latest version can be downloaded here: https://gitlab.cs.fau.de/sedrubal/bachelor-thesis/builds/artifacts/master/browse/?job=render-paper

The boring presentation of my bachelor thesis. If the build succeeds the latest version can be downloaded here: https://gitlab.cs.fau.de/sedrubal/bachelor-thesis-presentation/builds/artifacts/master/browse/?job=render-presentation

Historische i4Beamervorlage aus dem 18. Jahrhundert (oder so)