Kevin Kappelmann's repositories
eidi2_repetitorium_tum
This repository is intended for the Functional Programming and Verification (EIDI2) revision courses 2016 and 2017 at the Technical University of Munich.
foss_course
A university course template to teach about Free and Open-Source Software (FOSS)
Isabelle-Set
Soft types for Isabelle - bringing types to the world of set-theory.
actnow_email
Create email templates and share them with others; supports contact data backends.
transport-isabelle
Theory of Transporting Definitions and Proofs via Galois Connections and Equivalences in Isabelle
bachelor_thesis_algorithm_dynamic_right_sizing_data_centers
Bachelor's thesis written at the Technical University of Munich
isabelle-dev-docker
A docker image for working with development versions of Isabelle (https://isabelle.in.tum.de)
logger-isabelle
A logger for Isabelle/ML
ml-typeclasses-isabelle
Haskell-like typeclasses as ML Structures (for Isabelle)
phd_expose_tum
The exposé for my PhD at TU Munich about soft types in interactive theorem provers
presentation_lean_continued_fractions
A presentation about a newbie's opinion on formalising continued fractions in lean.
proving-contest-backends
"proving-contest"-backends for several theorem provers
seminar_foundations_mathematics_grundlagenkrise
Seminar paper about the foundations of mathematics and the foundational crisis of mathematics ("Grundlagenkrise")
seminar_theorems_for_free
Seminar paper about parametricity and Philip Wadler's paper "Theorems for free!"