| No. |
Title |
Author |
Year |
| 1 |
MizAR 60 for Mizar 50 |
Jakubův, Jan et al. |
2023 |
| 2 |
Formalizing a Diophantine Representation of the Set of Prime Numbers |
Pąk, Karol et al. |
2022 |
| 3 |
Proofgold: Blockchain for Formal Methods |
Brown, Chad E. et al. |
2022 |
| 4 |
The Isabelle ENIGMA |
Goertzel, Zarathustra A. et al. |
2022 |
| 5 |
Front Matter, Table of Contents, Preface, Conference Organization |
Cohen, Liron et al. |
2021 |
| 6 |
LIPIcs, Volume 193, ITP 2021, Complete Volume |
Cohen, Liron et al. |
2021 |
| 7 |
Declarative Proof Translation (Short Paper) |
Kaliszyk, Cezary et al. |
2019 |
| 8 |
Higher-Order Tarski Grothendieck as a Foundation for Formal Proof |
Brown, Chad E. et al. |
2019 |
