IDE: Introduction, Destruction, Elimination

MaRDI QIDQ7361100FDO

Authors Mihails Milehins

Publication date 6 September 2021

Cites work

• Comprehending Isabelle/HOL’s Consistency
• Interaction with formal mathematical documents in Isabelle/PIDE
• Natural deduction as higher-order resolution

Cited in

(1)

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

This page was built for software: IDE: Introduction, Destruction, Elimination