kappelmann Goto Github PK

actnow_email

Create email templates and share them with others; supports contact data backends.

bachelor_thesis_algorithm_dynamic_right_sizing_data_centers

Bachelor's thesis written at the Technical University of Munich

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.

engaging-large-scale-functional-programming

foss_course

A university course template to teach about Free and Open-Source Software (FOSS)

isabelle-dev-docker

A docker image for working with development versions of Isabelle (https://isabelle.in.tum.de)

isabelle-set

Soft types for Isabelle - bringing types to the world of set-theory.

logger-isabelle

A logger for Isabelle/ML

ml-typeclasses-isabelle

Haskell-like typeclasses as ML Structures (for Isabelle)

ml-unification-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

scrape-mep-mails

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!"

speccheck

QuickCheck-like testing framework for Isabelle/ML

transport-isabelle

Theory of Transporting Definitions and Proofs via Galois Connections and Equivalences in Isabelle