Datatype_Order_Generator Dependents

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