Interaction with formal mathematical documents in Isabelle/PIDE (Q2287890): Difference between revisions

@@ Property / describes a project that uses @@
+Isabelle/HOL
@@ Property / describes a project that uses: Isabelle/HOL / 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 @@
+Isabelle/PIDE
@@ Property / describes a project that uses: Isabelle/PIDE / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Archive Formal Proofs
@@ Property / describes a project that uses: Archive Formal Proofs / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Coq
@@ Property / describes a project that uses: Coq / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Isabelle/Isar
@@ Property / describes a project that uses: Isabelle/Isar / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PIDE
@@ Property / describes a project that uses: PIDE / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Isabelle/jEdit
@@ Property / describes a project that uses: Isabelle/jEdit / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Sledgehammer
@@ Property / describes a project that uses: Sledgehammer / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2965911323
@@ Property / OpenAlex ID: W2965911323 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.01735
@@ Property / arXiv ID: 1905.01735 / rank @@
+Normal rank