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