An experimental pipeline for automated reasoning in natural language (short paper)Tammet, Tanel; Järv, Priit; Verrev, Martin; Draheim, DirkAutomated Deduction – CADE 29, 29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023 : proceedings2023 / p. 509-521 https://doi.org/10.1007/978-3-031-38499-8_29 Conference proceedings at Scopus Article at Scopus Article at WOS

Resolution, inverse method and the sequent calculusTammet, TanelComputational Logic and Proof Theory : 5th Kurt Gödel Colloquium, KGC'97 : Vienna, Austria, August 25-29, 1997 : proceedings1997 / p. 65-83 https://link.springer.com/content/pdf/10.1007/3-540-63385-5_33.pdf

SSProve : a foundational framework for modular cryptographic proofs in CoqHaselwarter, Philipp G.; Rivas, Exequiel; Van Muylder, Antoine; Winterhalter, Théo; Abate, Carmine; Sidorenco, Nikolaj; Hriţcu, Cǎtǎlin; Maillard, Kenji; Spitters, BasACM Transactions on Programming Languages and Systems2023 / art. 15 https://doi.org/10.1145/3594735 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS