Interactive Simplifier Tracing and Debugging in Isabelle (Q5495933): Difference between revisions

@@ Property / arXiv ID @@
+.0292
@@ Property / arXiv ID: 1406.0292 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2729065
@@ Property / cites work: Q2729065 / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic Proof and Disproof in Isabelle/HOL
@@ Property / cites work: Automatic Proof and Disproof in Isabelle/HOL / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222853
@@ Property / cites work: Q4222853 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4423202
@@ Property / cites work: Q4423202 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4844167
@@ Property / cites work: Q4844167 / rank @@
+Normal rank
@@ Property / cites work @@
+Asynchronous Proof Processing with Isabelle/Scala and Isabelle/jEdit
+Normal rank
@@ Property / cites work @@
+Isabelle/jEdit – A Prover IDE within the PIDE Framework
+Normal rank