Programming and verifying a declarative first-order prover in Isabelle/HOL (Q5145439): Difference between revisions

@@ Property / describes a project that uses @@
+Isar
@@ Property / describes a project that uses: Isar / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Archive Formal Proofs
@@ Property / describes a project that uses: Archive Formal Proofs / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+FOL_Harrison
@@ Property / describes a project that uses: FOL_Harrison / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Isabelle/Isar
@@ Property / describes a project that uses: Isabelle/Isar / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+HOL
@@ Property / describes a project that uses: HOL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Isabelle/jEdit
@@ Property / describes a project that uses: Isabelle/jEdit / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+GitHub
@@ Property / describes a project that uses: GitHub / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Completeness theorem
@@ Property / describes a project that uses: Completeness theorem / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Superposition Calculus
@@ Property / describes a project that uses: Superposition Calculus / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Isabelle
@@ Property / describes a project that uses: Isabelle / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Isabelle/HOL
@@ Property / describes a project that uses: Isabelle/HOL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Sledgehammer
@@ Property / describes a project that uses: Sledgehammer / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Metamath
@@ Property / describes a project that uses: Metamath / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+FOL Fitting
@@ Property / describes a project that uses: FOL Fitting / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Verified Prover
@@ Property / describes a project that uses: Verified Prover / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank