Deep Generation of Coq Lemma Names Using Elaborated Terms (Q5048996): Difference between revisions

@@ Property / describes a project that uses @@
+GitHub
@@ Property / describes a project that uses: GitHub / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Lean
@@ Property / describes a project that uses: Lean / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PCM library
@@ Property / describes a project that uses: PCM library / 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 @@
+Adam
@@ Property / describes a project that uses: Adam / 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 @@
+Coq
@@ Property / describes a project that uses: Coq / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PyTorch
@@ Property / describes a project that uses: PyTorch / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+JSNice
@@ Property / describes a project that uses: JSNice / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+HoTT
@@ Property / describes a project that uses: HoTT / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3046547863
@@ Property / OpenAlex ID: W3046547863 / rank @@
+Normal rank