The Teaching Tool CalcCheck A Proof-Checker for Gries and Schneider’s “Logical Approach to Discrete Math” (Q3100213): Difference between revisions

@@ Property / cites work @@
+Q2736597
@@ Property / cites work: Q2736597 / rank @@
+Normal rank
@@ Property / cites work @@
+Mizar Course in Logic and Set Theory
@@ Property / cites work: Mizar Course in Logic and Set Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Rewriting Techniques and Applications
@@ Property / cites work: Rewriting Techniques and Applications / rank @@
+Normal rank
@@ Property / cites work @@
+Q3075247
@@ Property / cites work: Q3075247 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4846258
@@ Property / cites work: Q4846258 / rank @@
+Normal rank
@@ Property / cites work @@
+Literate Programming
@@ Property / cites work: Literate Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q5485626
@@ Property / cites work: Q5485626 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4435474
@@ Property / cites work: Q4435474 / rank @@
+Normal rank
@@ Property / cites work @@
+A Brief Overview of Mizar
@@ Property / cites work: A Brief Overview of Mizar / rank @@
+Normal rank