1. Should Decisions in QCDCL Follow Prefix Order?

   • Benjamin Böhm
   • Tomáš Peitl
   • Olaf Beyersdorff

   OriginalPaper Open access 09 February 2024 Article: 5

   

2. Non-termination in Term Rewriting and Logic Programming

   • Étienne Payet

   OriginalPaper 02 February 2024 Article: 4

   

3. A Matroid-Based Automatic Prover and Coq Proof Generator for Projective Incidence Geometry

   • David Braun
   • Nicolas Magaud
   • Pascal Schreck

   OriginalPaper 18 January 2024 Article: 3

   

4. A Formalization of the CHSH Inequality and Tsirelson’s Upper-bound in Isabelle/HOL

   • Mnacho Echenim
   • Mehdi Mhalla

   OriginalPaper 19 December 2023 Article: 2

   

5. Formally-Verified Round-Off Error Analysis of Runge–Kutta Methods

   • Florian Faissole

   OriginalPaper 06 December 2023 Article: 1