Proof mining with dependent types (Q2364689): Difference between revisions

@@ Property / describes a project that uses @@
+CoqHammer
@@ Property / describes a project that uses: CoqHammer / 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 @@
+Coq
@@ Property / describes a project that uses: Coq / 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 / describes a project that uses @@
+PRMLT
@@ Property / describes a project that uses: PRMLT / 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 @@
+Hipster
@@ Property / describes a project that uses: Hipster / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SEPIA
@@ Property / describes a project that uses: SEPIA / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2612129252
@@ Property / OpenAlex ID: W2612129252 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.04680
@@ Property / arXiv ID: 1705.04680 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2364689