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 -
Updated
-
Collection of programs using different finite-element libraries to adaptively solve partial differential equations.
Updated -
-
Project repository for advanced discretization methods Spring term 2022
Updated -
Updated
-
-
Updated
-
Updated
-
Updated
-
-
-
Updated
-
Modified version of https://github.com:aiortc/aioquic-qns with a patch to increase the initial window.
Updated -
Updated