Automatic Verification of SMT Rewrites in Isabelle/HOL. - Hanna Lachnitt; Mathias Fleury; Leni Aniva; Andrew Reynolds 001; Haniel Barbosa; Andres Nötzli; Clark W. Barrett; Cesare Tinelli (SMT, 2023)

IsaRare: Automatic Verification of SMT Rewrites in Isabelle/HOL. - Hanna Lachnitt; Mathias Fleury; Leni Aniva; Andrew Reynolds 001; Haniel Barbosa; Andres Nötzli; Clark W. Barrett; Cesare Tinelli (Zenodo, 2023)

IsaRare: Automatic Verification of SMT Rewrites in Isabelle/HOL. - Hanna Lachnitt; Mathias Fleury; Leni Aniva; Andrew Reynolds 001; Haniel Barbosa; Andres Nötzli; Clark W. Barrett; Cesare Tinelli (TACAS (1), 2024)

cvc5 for SMT-COMP 2024. - Leni Aniva; Haniel Barbosa; Clark W. Barrett; Hanna Lachnitt; Daniel Larraz; Abdalrhman Mohamed; Mudathir Mohamed; Aina Niemetz; Alex Ozdemir; Mathias Preiner; Andrew Reynolds 001; Hans-Jörg Schurr; et al. (Zenodo, 2024)

Pantograph: A Machine-to-Machine Interaction Interface for Advanced Theorem Proving, High Level Reasoning, and Data Extraction in Lean 4. - Leni Aniva; Chuyue Sun; Brando Miranda; Clark W. Barrett; Sanmi Koyejo (TACAS (1), 2025)