Isabelle/PIDE
From MaRDI portal
Cited in
(33)- 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
- scientific article; zbMATH DE number 7649970 (Why is no real title available?)
- Translating Scala programs to Isabelle/HOL. System description
- Proviola
- Proof General
- Isabelle/jEdit
- PIDE
- Lurch
- MathBrush
- Poly/ML
- Coqoon
- Literate CoffeeScript
- MathQuill
- CoqPIE
- PeaCoq
- jsfs
- TinyMCE
- Naproche
- Logic2CNF
- CoffeeScript
- MMTTeX
- TGView3D
- Asynchronous user interaction and tool integration in Isabelle/PIDE
- 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
- 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
