- Shuhao Song, Bowen Yao. Formalization of the Prime Number Theorem with a Remainder Term. Journal of Automated Reasoning, 69(1):4, March 2025.
- Oskar Abrahamsson, Magnus O. Myreen, Michael Norrish, Hrutvik Kanabar, Johannes Åman Pohjola. Fast, Verified Computation for HOL ITPs. Journal of Automated Reasoning, 69(1):7, March 2025.
- Mauricio Ayala-Rincón, Maribel Fernández, Gabriel Ferreira Silva, Temur Kutsia, Daniele Nantes Sobrinho. Correction to: Certified First-Order AC-Unification and Applications. Journal of Automated Reasoning, 69(1):6, March 2025.
- Ana de Almeida Borges, Annalí Casanueva Artís, Jean-Rémy Falleri, Emilio Jesús Gallego Arias, Érik Martin-Dorel, Karl Palmskog, Alexander Serebrenik, Théo Zimmermann. Lessons for Interactive Theorem Proving Researchers from a Survey of Coq Users. Journal of Automated Reasoning, 69(1):8, March 2025.
- Anne Baanen. Use and Abuse of Instance Parameters in the Lean Mathematical Library. Journal of Automated Reasoning, 69(1):1, March 2025.
- Dirk Beyer 0001, Nian-Ze Lee, Philipp Wendler. Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification. Journal of Automated Reasoning, 69(1):5, March 2025.
- Grigory Devadze, Victor Magron, Stefan Streif. Computer-Assisted Proofs for Lyapunov Stability via Sums of Squares Certificates and Constructive Analysis. Journal of Automated Reasoning, 69(1):2, March 2025.
- Enrico Lipparini, Stefan Ratschan. Satisfiability of Non-linear Transcendental Arithmetic as a Certificate Search Problem. Journal of Automated Reasoning, 69(1):3, March 2025.
- Philippe Malbos, Tanguy Massacrier, Georg Struth. Single-Set Cubical Categories and Their Formalisation with a Proof Assistant. Journal of Automated Reasoning, 68(4):20, December 2024.
- Mauricio Ayala-Rincón, Maribel Fernández, Gabriel Ferreira Silva, Temur Kutsia, Daniele Nantes Sobrinho. Certified First-Order AC-Unification and Applications. Journal of Automated Reasoning, 68(4):25, December 2024.