Skip to content
View kappelmann's full-sized avatar
26 followers · 12 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2
BetaSend feedback

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2
BetaSend feedback

Organizations

@isabelle-prover @lean-forward
Block or Report

Block or report kappelmann

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories

  1. eidi2_repetitorium_tum eidi2_repetitorium_tum Public archive

    This repository is intended for the Functional Programming and Verification (EIDI2) revision courses 2016 and 2017 at the Technical University of Munich.

    OCaml 14 9

  2. engaging-large-scale-functional-programming engaging-large-scale-functional-programming Public

    Haskell 6 1

  3. foss_course foss_course Public

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

    HTML 4 3

  4. Isabelle-Set Isabelle-Set Public

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

    Isabelle 3 2

  5. SpecCheck SpecCheck Public archive

    QuickCheck-like testing framework for Isabelle/ML

    Standard ML 2

  6. actnow_email actnow_email Public

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

    TypeScript 1