Recycling proof patterns in Coq: case studies (Q475385): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+T15
@@ Property / Mathematics Subject Classification ID: 68T15 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+T05
@@ Property / Mathematics Subject Classification ID: 68T05 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6374317
@@ Property / zbMATH DE Number: 6374317 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+interactive theorem proving
@@ Property / zbMATH Keywords: interactive theorem proving / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Coq
@@ Property / zbMATH Keywords: Coq / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+SSreflect
@@ Property / zbMATH Keywords: SSreflect / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+machine learning
@@ Property / zbMATH Keywords: machine learning / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+clustering
@@ Property / zbMATH Keywords: clustering / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+WEKA
@@ Property / describes a project that uses: WEKA / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PRMLT
@@ Property / describes a project that uses: PRMLT / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Flyspeck
@@ Property / describes a project that uses: Flyspeck / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ACL2
@@ Property / describes a project that uses: ACL2 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Mizar
@@ Property / describes a project that uses: Mizar / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Proof General
@@ Property / describes a project that uses: Proof General / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Agda
@@ Property / describes a project that uses: Agda / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Whelp
@@ Property / describes a project that uses: Whelp / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+IsaCoSy
@@ Property / describes a project that uses: IsaCoSy / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Matita
@@ Property / describes a project that uses: Matita / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Coq
@@ Property / describes a project that uses: Coq / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Matlab
@@ Property / describes a project that uses: Matlab / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ML4PG
@@ Property / describes a project that uses: ML4PG / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Coq/SSReflect
@@ Property / describes a project that uses: Coq/SSReflect / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2071091648
@@ Property / OpenAlex ID: W2071091648 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.6039
@@ Property / arXiv ID: 1301.6039 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:475385