Projects
My Projects
-
SAT Solver
SAT solver written as part of the course "SAT Solving" at LMU Munich in the winter semester 2020/2021
with Lukas Bartl, Christian Dietze & Luca Maio
-
fun-with-cwf
Formalising iterative sets, and presheaves valued in them, as categories with families in Cubical Agda (work in progress)
with Anders Mörtberg & Élise Souche