Towards Formal Proof Script Refactoring (Q5200123): Difference between revisions

@@ Property / describes a project that uses @@
+Coq
@@ Property / describes a project that uses: Coq / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Haskell
@@ Property / describes a project that uses: Haskell / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+seL4
@@ Property / describes a project that uses: seL4 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Isar
@@ Property / describes a project that uses: Isar / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2195779287
@@ Property / OpenAlex ID: W2195779287 / rank @@
+Normal rank
@@ Property / cites work @@
+Tactics for hierarchical proof
@@ Property / cites work: Tactics for hierarchical proof / rank @@
+Normal rank
@@ Property / cites work @@
+A Declarative Language for the Coq Proof Assistant
+Normal rank
@@ Property / cites work @@
+Q2844832
@@ Property / cites work: Q2844832 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2852358
@@ Property / cites work: Q2852358 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4708513
@@ Property / cites work: Q4708513 / rank @@
+Normal rank
@@ Property / cites work @@
+The Four Colour Theorem: Engineering of a Formal Proof
+Normal rank
@@ Property / cites work @@
+Q5302558
@@ Property / cites work: Q5302558 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof Transformations for Evolutionary Formal Software Development
+Normal rank
@@ Property / cites work @@
+Q5714458
@@ Property / cites work: Q5714458 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2844820
@@ Property / cites work: Q2844820 / rank @@
+Normal rank
@@ Property / cites work @@
+Presenting and Explaining Mizar
@@ Property / cites work: Presenting and Explaining Mizar / rank @@
+Normal rank