Biform Theories in Chiron

DOI10.1007/978-3-540-73086-6_6zbMath1202.03025OpenAlexW2156369090MaRDI QIDQ5428260

William M. Farmer

Publication date: 28 November 2007

Published in: Towards Mechanized Mathematical Assistants (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-73086-6_6

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Related Items (6)

Formalizing mathematical knowledge as a biform theory graph: a case study ⋮ Generic Literals ⋮ Incorporating quotation and evaluation into Church's type theory ⋮ MathScheme: Project Description ⋮ Realms: A Structure for Consolidating Knowledge about Mathematical Theories ⋮ High-Level Theories

This page was built for publication: Biform Theories in Chiron