Migration 001 can be parallelized even within a single transaction by partitioning the solutions by propositions so that updates will not run into conflicts. The process can be made more efficient by preparing the equivalence classes of bad formalizations in memory.
Migration 001 can be parallelized even within a single transaction by partitioning the solutions by propositions so that updates will not run into conflicts. The process can be made more efficient by preparing the equivalence classes of bad formalizations in memory.