ProofPeer

swMATH30422MaRDI QIDQ42136FDOQ42136

Author name not available (Why is that?)

Cited In (4)

• Presentation and manipulation of Mizar properties in an Isabelle object logic
• ProofScript: Proof Scripting for the Masses
• Semantics of Mizar as an Isabelle object logic
• Type Inference for ZFH

This page was built for software: ProofPeer