Pinned Loading

1. Turnierplaner Turnierplaner Public

   Turnierplaner

   Java 3

2. IsabelleTimingFunctions IsabelleTimingFunctions Public

   The goal of the bachelor thesis is to extend the Proof Assistant Isabelle by the automatic generation of runtime functions.

   Isabelle 2

3. HopfenJagd HopfenJagd Public

   Java

4. AdventOfCode2022 AdventOfCode2022 Public

   C++