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

@@ Property / describes a project that uses @@
+Haskell
@@ Property / describes a project that uses: Haskell / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Mizar
@@ Property / describes a project that uses: Mizar / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ETPS
@@ Property / describes a project that uses: ETPS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Fuzz
@@ Property / describes a project that uses: Fuzz / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+LaTeX
@@ Property / describes a project that uses: LaTeX / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CalcCheck
@@ Property / describes a project that uses: CalcCheck / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Z
@@ Property / describes a project that uses: Z / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-25379-9_17
+Normal rank
@@ Property / OpenAlex ID @@
+W37664042
@@ Property / OpenAlex ID: W37664042 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:3100213