Towards the animation of proofs -- testing proofs by examples (Q5958295): Difference between revisions

@@ Property / describes a project that uses @@
+llprover
@@ Property / describes a project that uses: llprover / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4247298
@@ Property / cites work: Q4247298 / rank @@
+Normal rank
@@ Property / cites work @@
+Pruning simply typed  -terms
@@ Property / cites work: Pruning simply typed -terms / rank @@
+Normal rank
@@ Property / cites work @@
+The notion of proof in hardware verification
@@ Property / cites work: The notion of proof in hardware verification / rank @@
+Normal rank
@@ Property / cites work @@
+A new deconstructive logic: linear logic
@@ Property / cites work: A new deconstructive logic: linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4321773
@@ Property / cites work: Q4321773 / rank @@
+Normal rank
@@ Property / cites work @@
+From programming-by-example to proving-by-example
@@ Property / cites work: From programming-by-example to proving-by-example / rank @@
+Normal rank
@@ Property / cites work @@
+Q4217580
@@ Property / cites work: Q4217580 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4249179
@@ Property / cites work: Q4249179 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4255509
@@ Property / cites work: Q4255509 / rank @@
+Normal rank
@@ Property / cites work @@
+Metamathematics, Machines and Gödel's Proof
@@ Property / cites work: Metamathematics, Machines and Gödel's Proof / rank @@
+Normal rank