Conditional Simplification

MaRDI QIDQ7361181FDO

Authors Mihails Milehins

Publication date 6 September 2021

Cites work

• Comprehending Isabelle/HOL’s Consistency
• Interaction with formal mathematical documents in Isabelle/PIDE
• Isabelle/HOL. A proof assistant for higher-order logic
• Natural deduction as higher-order resolution
• The foundation of a generic theorem prover

Cited in

(1)

• Category Theory for ZFC in HOL I: Foundations: Design Patterns, Set Theory, Digraphs, Semicategories

This page was built for software: Conditional Simplification