CiMPG+F: a proof generator and fixer-upper for CafeOBJ specifications

DOI10.1007/978-3-030-64276-1_4OpenAlexW3108411030MaRDI QIDQ2037935

Kazuhiro Ogata, Adrián Riesco

Publication date: 8 July 2021

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

zbMATH Keywords

theorem provingCafeOBJautomatic proof inference

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Related Items (1)

CiMPG

Uses Software

• Coq
• Isabelle/HOL
• SPASS
• CafeOBJ
• Maude
• CafeInMaude
• CrEme

This page was built for publication: CiMPG+F: a proof generator and fixer-upper for CafeOBJ specifications