Isabelle/PIDE
From MaRDI portal
Cited in
(33)- Proviola
- Proof General
- Towards verified handwritten calculational proofs (short paper)
- PIDE
- Isabelle/jEdit
- Lurch
- MathBrush
- 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
- Interaction with formal mathematical documents in Isabelle/PIDE
- Relational data across mathematical libraries
- Semantics of Mizar as an Isabelle object logic
- Poly/ML
- A web-based toolkit for mathematical word processing applications with semantics
- Coqoon
- Translating Scala programs to Isabelle/HOL. System description
- Coqpie: an IDE aimed at improving proof development productivity (rough diamond)
- Asynchronous user interaction and tool integration in Isabelle/PIDE
- Isabelle/jEdit – A Prover IDE within the PIDE Framework
- Literate CoffeeScript
- MathQuill
- CoqPIE
- PeaCoq
- Documentation Generator Focusing on Symbols for the HTML-ized Mizar Library
- jsfs
- TinyMCE
- Naproche
- Logic2CNF
- CoffeeScript
- MMTTeX
- TGView3D
- scientific article; zbMATH DE number 7649970 (Why is no real title available?)
This page was built for software: Isabelle/PIDE
