Composable Discovery Engines for Interactive Theorem Proving (Q3088022): Difference between revisions

@@ Property / cites work @@
+Applicative programming with effects
@@ Property / cites work: Applicative programming with effects / rank @@
+Normal rank
@@ Property / cites work @@
+Automation for interactive proof: first prototype
@@ Property / cites work: Automation for interactive proof: first prototype / rank @@
+Normal rank
@@ Property / cites work @@
+Isabelle. A generic theorem prover
@@ Property / cites work: Isabelle. A generic theorem prover / rank @@
+Normal rank
@@ Property / cites work @@
+Idioms are Oblivious, Arrows are Meticulous, Monads are Promiscuous
+Normal rank
@@ Property / cites work @@
+Algebras for combinatorial search
@@ Property / cites work: Algebras for combinatorial search / rank @@
+Normal rank
@@ Property / cites work @@
+Q4790672
@@ Property / cites work: Q4790672 / rank @@
+Normal rank