A Programmer’s Text Editor for a Logical Theory: The SUMOjEdit Editor (System Description)

DOI10.1007/978-3-030-51054-1_31OpenAlexW3038854970MaRDI QIDQ5049030

Adam Pease

Publication date: 9 November 2022

Published in: Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-51054-1_31

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Uses Software

• WordNet
• VAMPIRE
• Proof General
• Isabelle/jEdit
• SigmaKEE
• GitHub

Cites Work

• MizarMode -- an integrated proof assistance tool for the Mizar way of formalizing mathematics
• ATP and presentation service for Mizar formalizations
• Faster, higher, stronger: E 2.3
• Large theory reasoning with SUMO at CASC
• Unnamed Item
• Unnamed Item

This page was built for publication: A Programmer’s Text Editor for a Logical Theory: The SUMOjEdit Editor (System Description)