Interfacing Coq + SSReflect with GAP (Q5170233): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2012.06.003
+Normal rank
@@ Property / OpenAlex ID @@
+W2160478427
@@ Property / OpenAlex ID: W2160478427 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q113318103
@@ Property / Wikidata QID: Q113318103 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4790651
@@ Property / cites work: Q4790651 / rank @@
+Normal rank
@@ Property / cites work @@
+Hints in Unification
@@ Property / cites work: Hints in Unification / rank @@
+Normal rank
@@ Property / cites work @@
+Type-checking injective pure type systems
@@ Property / cites work: Type-checking injective pure type systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4232470
@@ Property / cites work: Q4232470 / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic Computation Software Composability
@@ Property / cites work: Symbolic Computation Software Composability / rank @@
+Normal rank
@@ Property / cites work @@
+Packaging Mathematical Structures
@@ Property / cites work: Packaging Mathematical Structures / rank @@
+Normal rank
@@ Property / cites work @@
+Q4282537
@@ Property / cites work: Q4282537 / rank @@
+Normal rank
@@ Property / cites work @@
+A Skeptic's approach to combining HOL and Maple
@@ Property / cites work: A Skeptic's approach to combining HOL and Maple / rank @@
+Normal rank
@@ Property / cites work @@
+Finite Groups Representation Theory with Coq
@@ Property / cites work: Finite Groups Representation Theory with Coq / rank @@
+Normal rank
@@ Property / cites work @@
+Working with Mathematical Structures in Type Theory
+Normal rank