## 2022

##### A First Complete Algorithm for Real Quantifier Elimination in Isabelle/HOL

by Katherine Kosaian, Yong Kiam Tan and André Platzer
Dec 15

##### Verified Complete Test Strategies for Finite State Machines

by Robert Sachtleben
Aug 09

## 2020

##### Strong Eventual Consistency of the Collaborative Editing Framework WOOT

by Emin Karayel and Edgar Gonzàlez
Mar 25

## 2019

##### An Algebra for Higher-Order Terms

by Lars Hupel
Jan 15

## 2014

##### Haskell's Show Class in Isabelle/HOL

by Christian Sternagel and René Thiemann
Jul 29