Isabelle/PIDE
From MaRDI portal
Software:19238
No author found.
Related Items (14)
A web-based toolkit for mathematical word processing applications with semantics ⋮ Documentation Generator Focusing on Symbols for the HTML-ized Mizar Library ⋮ Isabelle/jEdit – A Prover IDE within the PIDE Framework ⋮ Unnamed Item ⋮ TGView3D: a system for 3-dimensional visualization of theory graphs ⋮ From LCF to Isabelle/HOL ⋮ Intelligent computer mathematics. 12th international conference, CICM 2019, Prague, Czech Republic, July 8--12, 2019. Proceedings ⋮ Towards verified handwritten calculational proofs (short paper) ⋮ Interaction with formal mathematical documents in Isabelle/PIDE ⋮ Relational data across mathematical libraries ⋮ Translating Scala Programs to Isabelle/HOL ⋮ CoqPIE: An IDE Aimed at Improving Proof Development Productivity ⋮ Semantics of Mizar as an Isabelle object logic ⋮ Asynchronous User Interaction and Tool Integration in Isabelle/PIDE
This page was built for software: Isabelle/PIDE
