swMATH7185MaRDI QIDQ19238FDOQ19238
Author name not available (Why is that?)
Official website: http://www4.in.tum.de/~wenzelm/papers/pide-edu.pdf
Cited In (32)
- 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?)
- Translating Scala programs to Isabelle/HOL. System description
- Asynchronous user interaction and tool integration in Isabelle/PIDE
- Proof General
- Isabelle/jEdit
- PIDE
- Lurch
- MathBrush
- Poly/ML
- Coqoon
- Towards verified handwritten calculational proofs (short paper)
- Intelligent computer mathematics. 12th international conference, CICM 2019, Prague, Czech Republic, July 8--12, 2019. Proceedings
- Literate CoffeeScript
- MathQuill
- CoqPIE
- PeaCoq
- jsfs
- TinyMCE
- Naproche
- Logic2CNF
- CoffeeScript
- MMTTeX
- TGView3D
- From LCF to Isabelle/HOL
- Interaction with formal mathematical documents 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
- Coqpie: an IDE aimed at improving proof development productivity (rough diamond)
This page was built for software: Isabelle/PIDE
