ProofPeer

MaRDI QIDQ42136swMATHFDO

Official website http://www.proofpeer.net/

Cited in

(8)

• Presentation and manipulation of Mizar properties in an Isabelle object logic
• Isabelle/ZF
• ProofScript
• Logic2CNF
• Type inference for ZFH
• Semantics of Mizar as an Isabelle object logic
• Smooth_Manifolds
• ProofScript: proof scripting for the masses

This page was built for software: ProofPeer