Isabelle/jEdit – A Prover IDE within the PIDE Framework (Q2907353): Difference between revisions

@@ Property / describes a project that uses @@
+Isabelle
@@ Property / describes a project that uses: Isabelle / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Proof General
@@ Property / describes a project that uses: Proof General / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Scala
@@ Property / describes a project that uses: Scala / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Isabelle/PIDE
@@ Property / describes a project that uses: Isabelle/PIDE / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Coq
@@ Property / describes a project that uses: Coq / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1719912185
@@ Property / OpenAlex ID: W1719912185 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.3441
@@ Property / arXiv ID: 1207.3441 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2907353