Synthesizing Proof Planning Methods and Ω-Ants Agents from Mathematical Knowledge
From MaRDI portal
Publication:5756764
DOI10.1007/11812289_9zbMath1188.68277OpenAlexW1572335298MaRDI QIDQ5756764
Serge Autexier, Dominik Dietrich
Publication date: 5 September 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11812289_9
Related Items
Crystal: Integrating structured queries into a tactic language ⋮ Authoring Verified Documents by Interactive Proof Construction and Verification in Text-Editors ⋮ PlatΩ: A Mediator between Text-Editors and Proof Assistance Systems
