## 2024

##### Substitutions for Lambda-Free Higher-Order Terms

by Vincent Trélat
Apr 25

## 2020

##### A Comprehensive Framework for Saturation Theorem Proving

by Sophie Tourret
Apr 09

## 2019

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

by Lars Hupel
Jan 15

## 2018

##### A Verified Functional Implementation of Bachmair and Ganzinger's Ordered Resolution Prover

by Anders Schlichtkrull, Jasmin Christian Blanchette and Dmitriy Traytel
Nov 23

##### Formalization of the Embedding Path Order for Lambda-Free Higher-Order Terms

by Alexander Bentkamp
Oct 19

## 2016

##### Formalization of Knuth–Bendix Orders for Lambda-Free Higher-Order Terms

by Heiko Becker, Jasmin Christian Blanchette, Uwe Waldmann and Daniel Wand
Nov 12