## 2022

##### A Naive Prover for First-Order Logic

by Asta Halkjær From
Mar 22

##### A Sequent Calculus Prover for First-Order Logic with Functions

by Asta Halkjær From and Frederik Krogsdal Jacobsen
Jan 31

## 2017

##### Abstract Soundness

by Jasmin Christian Blanchette, Andrei Popescu and Dmitriy Traytel
Feb 10

## 2016

##### The meta theory of the Incredible Proof Machine

by Joachim Breitner and Denis Lohner
May 20