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

DOI10.1007/978-3-030-51054-1_31MaRDI QIDQ5049030zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• scientific article; zbMATH DE number 177424
• scientific article; zbMATH DE number 1696759
• EditorArrow: An arrow-based model for editor-based programming
• Implementation of BASELOG editor module for first-order predicate calculus formula transformation
• The Alf proof editor and its proof engine
• scientific article; zbMATH DE number 4072441
• scientific article; zbMATH DE number 3846858

Cites work

• scientific article; zbMATH DE number 1629953 (Why is no real title available?)
• scientific article; zbMATH DE number 1175490 (Why is no real title available?)
• ATP and presentation service for Mizar formalizations
• Faster, higher, stronger: E 2.3
• Large theory reasoning with SUMO at CASC
• MizarMode -- an integrated proof assistance tool for the Mizar way of formalizing mathematics

Describes a project that uses

Uses Software

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5049030)