Plagiator — A learning prover (Q5234707): Difference between revisions

@@ Property / cites work @@
+Ωmega: Towards a mathematical assistant
@@ Property / cites work: Ωmega: Towards a mathematical assistant / rank @@
+Normal rank
@@ Property / cites work @@
+ABSFOL: A proof checker with abstraction
@@ Property / cites work: ABSFOL: A proof checker with abstraction / rank @@
+Normal rank
@@ Property / cites work @@
+INKA: The next generation
@@ Property / cites work: INKA: The next generation / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of theorem proving by reuse
@@ Property / cites work: Termination of theorem proving by reuse / rank @@
+Normal rank