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.
Updated -
Project repository for advanced discretization methods Spring term 2022
Updated -
-
Updated
-
Meine Seminararbeit im Seminar AKSS im Wintersemester 2015/2016
UpdatedUpdated -
-
AnyCall (bpftask) evaluation scripts and build environment.
Updated -
LibBPF-based usage examples and benchmarks for AnyCall.
Updated -
Updated
-
Updated
-
-
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
Updated -
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
Updated -
Updated
-
Updated
-
Historische i4Beamervorlage aus dem 18. Jahrhundert (oder so)
Updated