FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
SLIDES

Oracle Integration of Floating-Point Solvers with Isabelle

Olle Torstensson and Tjark Weber

A Verified Implementation of B-Trees in Isabelle/HOL

Niels Mündler and Tobias Nipkow
Total: 2 presentations.