An ACL2 Tutorial (Q3543644): Difference between revisions

@@ Property / cites work @@
+Proving Theorems about LISP Functions
@@ Property / cites work: Proving Theorems about LISP Functions / rank @@
+Normal rank
@@ Property / cites work @@
+Q3894958
@@ Property / cites work: Q3894958 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040283
@@ Property / cites work: Q4040283 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4016540
@@ Property / cites work: Q4016540 / rank @@
+Normal rank
@@ Property / cites work @@
+ACL2s: “The ACL2 Sedan”
@@ Property / cites work: ACL2s: “The ACL2 Sedan” / rank @@
+Normal rank
@@ Property / cites work @@
+Nonstandard analysis in ACL2
@@ Property / cites work: Nonstandard analysis in ACL2 / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient execution in an automated reasoning environment
+Normal rank
@@ Property / cites work @@
+Meta Reasoning in ACL2
@@ Property / cites work: Meta Reasoning in ACL2 / rank @@
+Normal rank
@@ Property / cites work @@
+Structured theory development for a mechanized logic
+Normal rank
@@ Property / cites work @@
+Integrating external deduction tools with ACL2
@@ Property / cites work: Integrating external deduction tools with ACL2 / rank @@
+Normal rank
@@ Property / cites work @@
+Partial functions in ACL2
@@ Property / cites work: Partial functions in ACL2 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997095
@@ Property / cites work: Q3997095 / rank @@
+Normal rank