Should Decisions in QCDCL Follow Prefix Order? Benjamin BöhmTomáš PeitlOlaf Beyersdorff OriginalPaper Open access 09 February 2024 Article: 5
Non-termination in Term Rewriting and Logic Programming Étienne Payet OriginalPaper 02 February 2024 Article: 4
A Matroid-Based Automatic Prover and Coq Proof Generator for Projective Incidence Geometry David BraunNicolas MagaudPascal Schreck OriginalPaper 18 January 2024 Article: 3
A Formalization of the CHSH Inequality and Tsirelson’s Upper-bound in Isabelle/HOL Mnacho EchenimMehdi Mhalla OriginalPaper 19 December 2023 Article: 2
Formally-Verified Round-Off Error Analysis of Runge–Kutta Methods Florian Faissole OriginalPaper 06 December 2023 Article: 1