IDE: Introduction, Destruction, Elimination
by Mihails Milehins
Tools
2021
SpecCheck - Specification-Based Testing for Isabelle/ML
by Kevin Kappelmann, Lukas Bulwahn and Sebastian Willenbrink
2020
Automated Stateful Protocol Verification
by Andreas V. Hess, Sebastian Mödersheim, Achim D. Brucker and Anders Schlichtkrull
2019
2018
Bounded Natural Functors with Covariance and Contravariance
by Andreas Lochbihler and Joshua Schneider
2017
Operations on Bounded Natural Functors
by Jasmin Christian Blanchette, Andrei Popescu and Dmitriy Traytel
Homogeneous Linear Diophantine Equations
by Florian Messner, Julian Parsert, Jonas Schöpf and Christian Sternagel
Monad normalisation
by Joshua Schneider, Manuel Eberl and Andreas Lochbihler
2016
Separata: Isabelle tactics for Separation Algebra
by Zhe Hou, David Sanan, Alwen Tiu, Rajeev Gore and Ranald Clouston
2015
2013
Nominal 2
by Christian Urban, Stefan Berghofer and Cezary Kaliszyk
2009
A Fast SAT Solver for Isabelle in Standard ML
by Armin Heller