Refine_Imperative_HOL

The Boustrophedon Transform, the Entringer Numbers, and Related Sequences

by Manuel Eberl

Oct 24

Worklist Algorithms

by Simon Wimmer and Peter Lammich

Aug 09

Simplicial Complexes and Boolean functions

by Jesús Aransay, Alejandro del Campo and Julius Michaelis

Nov 29

A Verified Imperative Implementation of B-Trees

by Niels Mündler

Feb 24

Practical Algebraic Calculus Checker

by Mathias Fleury and Daniela Kaufmann

Aug 31

VerifyThis 2019 -- Polished Isabelle Solutions

by Peter Lammich and Simon Wimmer

Oct 16

Kruskal's Algorithm for Minimum Spanning Forest

by Maximilian P. L. Haslbeck, Peter Lammich and Julian Biendarra

Feb 14

VerifyThis 2018 - Polished Isabelle Solutions

by Peter Lammich and Simon Wimmer

Apr 27

The string search algorithm by Knuth, Morris and Pratt

by Fabian Hellauer and Peter Lammich

Dec 18

Flow Networks and the Min-Cut-Max-Flow Theorem

by Peter Lammich and S. Reza Sefidgar

Jun 01

The Floyd-Warshall Algorithm for Shortest Paths

by Simon Wimmer and Peter Lammich

May 08

Algorithms for Reduced Ordered Binary Decision Diagrams

by Julius Michaelis, Max W. Haslbeck, Peter Lammich and Lars Hupel

Apr 27

Refine_Imperative_HOL Dependents

2024

The Boustrophedon Transform, the Entringer Numbers, and Related Sequences

Worklist Algorithms

2021

Simplicial Complexes and Boolean functions

A Verified Imperative Implementation of B-Trees

2020

Practical Algebraic Calculus Checker

2019