@@ -12,7 +12,8 @@ For example, for OEIS, it took a student several months.
Review 2:
We will prepare an extended version with algorithm details, proofs, and run time analyses to be available online. (Runtime for intra-library in MitM: <1s, inter-library to PVS: <3s, intra-library in PVS: <3s with additional ~50s for amalgamating the views, all excluding preprocessing on a standard laptop)
We will prepare an extended version with algorithm details, proofs, and run time analyses to be available online.
We can add the view-finding runtimes (intra-library in MitM: <1s, inter-library to PVS: <3s, intra-library in PVS: <1 minute; all on a standard laptop) to the final version as well.