Isabelle/HOL. A proof assistant for higher-order logic (Q1600086): Difference between revisions

← Older edit Newer edit →

@@ Property / Recommended article @@
+Q4823141
@@ Property / Recommended article: Q4823141 / rank @@
+Normal rank
@@ Property / Recommended article: Q4823141 / qualifier @@
+Similarity Score: 0.9340358Amount 0.9340358
Unit 1
-Amount
+.9340358
 Unit
@@ Property / Recommended article: Q4823141 / qualifier @@
+Recommender Run: Recommender Run 3
@@ Property / Recommended article @@
+Programming and verifying a declarative first-order prover in Isabelle/HOL
+Normal rank
+Similarity Score: 0.919202Amount 0.919202
Unit 1
-Amount
+.919202
 Unit
+Recommender Run: Recommender Run 3
@@ Property / Recommended article @@
+Q5287513
@@ Property / Recommended article: Q5287513 / rank @@
+Normal rank
@@ Property / Recommended article: Q5287513 / qualifier @@
+Similarity Score: 0.9185866Amount 0.9185866
Unit 1
-Amount
+.9185866
 Unit
@@ Property / Recommended article: Q5287513 / qualifier @@
+Recommender Run: Recommender Run 3
@@ Property / Recommended article @@
+Higher-Order Separation Logic in Isabelle/HOLCF
+Normal rank
+Similarity Score: 0.91749126Amount 0.91749126
Unit 1
-Amount
+.91749126
 Unit
+Recommender Run: Recommender Run 3
@@ Property / Recommended article @@
+A proof strategy language and proof script generation for Isabelle/HOL
+Normal rank
+Similarity Score: 0.91412544Amount 0.91412544
Unit 1
-Amount
+.91412544
 Unit
+Recommender Run: Recommender Run 3
@@ Property / Recommended article @@
+Isabelle as Document-Oriented Proof Assistant
+Normal rank
+Similarity Score: 0.9087141Amount 0.9087141
Unit 1
-Amount
+.9087141
 Unit
+Recommender Run: Recommender Run 3
@@ Property / Recommended article @@
+Isabelle/HOL/GST: a formal proof environment for generalized set theories
+Normal rank
+Similarity Score: 0.9073596Amount 0.9073596
Unit 1
-Amount
+.9073596
 Unit
+Recommender Run: Recommender Run 3
@@ Property / Recommended article @@
+Automatic Proof and Disproof in Isabelle/HOL
+Normal rank
+Similarity Score: 0.90605676Amount 0.90605676
Unit 1
-Amount
+.90605676
 Unit
+Recommender Run: Recommender Run 3
@@ Property / Recommended article @@
+Formalizing axiomatic systems for propositional logic in Isabelle/HOL
+Normal rank
+Similarity Score: 0.90528536Amount 0.90528536
Unit 1
-Amount
+.90528536
 Unit
+Recommender Run: Recommender Run 3
@@ Property / Recommended article @@
+A consistent foundation for Isabelle/HOL
@@ Property / Recommended article: A consistent foundation for Isabelle/HOL / rank @@
+Normal rank
+Similarity Score: 0.90316635Amount 0.90316635
Unit 1
-Amount
+.90316635
 Unit
+Recommender Run: Recommender Run 3