Teaching Semantics with a Proof Assistant: No More LSD Trip Proofs (Q2891399): Difference between revisions

@@ Property / cites work @@
+Turning Inductive into Equational Specifications
@@ Property / cites work: Turning Inductive into Equational Specifications / rank @@
+Normal rank
@@ Property / cites work @@
+Q4736387
@@ Property / cites work: Q4736387 / 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 @@
+A Certified Denotational Abstract Interpreter
@@ Property / cites work: A Certified Denotational Abstract Interpreter / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+A Brief Overview of Mizar
@@ Property / cites work: A Brief Overview of Mizar / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics with applications: an appetizer.
@@ Property / cites work: Semantics with applications: an appetizer. / rank @@
+Normal rank
@@ Property / cites work @@
+Winskel is (almost) right: Towards a mechanized semantics textbook
+Normal rank
@@ Property / cites work @@
+Nominal techniques in Isabelle/HOL
@@ Property / cites work: Nominal techniques in Isabelle/HOL / rank @@
+Normal rank
@@ Property / cites work @@
+A comparison of Mizar and Isar
@@ Property / cites work: A comparison of Mizar and Isar / rank @@
+Normal rank
@@ Property / cites work @@
+Q3141916
@@ Property / cites work: Q3141916 / rank @@
+Normal rank