pruvisto

debirdify

heap

A flexible Haskell implementation of minimum, maximum, minimum-priority, maximum-priority and custom-ordered heaps.

sturm

A formalisation of Sturm's theorem in Isabelle with an executable decision procedure

TRS

A simple term rewriting engine written in Haskell

100isabelle

The Top 100 Theorems in Isabelle

mockio

A pure implementation of a fragment of Haskell's IO actions for testing purposes

Continued_Fractions

A library of continued fractions in Isabelle/HOL

lightpaste

A lightweight CGI-based paste bin written in Haskell

circlearea

An Isabelle/HOL proof of the fact that the area of a circle is R²·π

graph-matchings

Algorithms for matchings in graphs in Haskell

haskell_playground

Small, random mini-projects in Haskell

Hermite_Lindemann

incredible

The Incredible Proof Machine

info2-sendmail

Send feedback mails to students automatically

isa_playground

A smörgåsbord of random Isabelle theories

isabelle_conventions

isabelle_summation

isabellehol_gcd

New GCD.thy for Isabelle/HOL

measure_stuff

Small additions to Isabelle's Measure Theory library

Number_Theory_ITP2024

The accompanying code for the submission "Formalising Half of a Graduate Textbook on Number Theory".

proofground2020-solutions

proofground2021-solutions

Contributed solutions for the Proof Ground 2021 competition

random_code_gen

Code generation for randomized algorithms in Isabelle

SDS

Proofs about Social Decision Schemes in Isabelle

tasty

Modern and extensible testing framework for Haskell

tum-manpages

manpages of folks at TUM

verML

Verification of Machine Learning Practical Course