The Theorema Environment for Interactive Proof Development

DOI10.1007/11591191_19zbMath1143.68581OpenAlexW1517090337MaRDI QIDQ5387844

Temur Kutsia, Florina Piroi

Publication date: 27 May 2008

Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11591191_19

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Related Items (3)

Mathscape and molecular integrals ⋮ Mathematical Theory Exploration in Theorema: Reduction Rings ⋮ Interactive Proving, Higher-Order Rewriting, and Theory Analysis in Theorema 2.0

Uses Software

• Theorema
• Proof General
• Nuprl

This page was built for publication: The Theorema Environment for Interactive Proof Development