Skip to content
View kappelmann's full-sized avatar
28 followers · 11 following

Achievements

Achievement: QuickdrawAchievement: StarstruckAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Achievements

Achievement: QuickdrawAchievement: StarstruckAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Organizations

@isabelle-prover @lean-forward

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.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

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

Report abuse

Popular repositories Loading

  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 16 9

  2. foss_course foss_course Public

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

    HTML 6 3

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

    Haskell 6 1

  4. Isabelle-Set Isabelle-Set Public

    Soft types for Isabelle - when one type just won't cut it

    Isabelle 3 5

  5. SpecCheck SpecCheck Public archive

    QuickCheck-like testing framework for Isabelle/ML

    Standard ML 2

  6. isabelle-pide-mcp isabelle-pide-mcp Public

    An MCP interacting with Isabelle via Isabelle/PIDE

    Scala 2