ProofPeer

swMATH30422MaRDI QIDQ42136FDOQ42136

Author name not available (Why is that?)

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

Cited In (8)

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

This page was built for software: ProofPeer