Refine_Imperative_HOL Dependents

2021

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

2020

Practical Algebraic Calculus Checker

by Mathias Fleury and Daniela Kaufmann

Aug 31

2019

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

2018

VerifyThis 2018 - Polished Isabelle Solutions

by Peter Lammich and Simon Wimmer

Apr 27

2017

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

2016

Algorithms for Reduced Ordered Binary Decision Diagrams

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

Apr 27