PROBCORE-404 Trying to make stuff faster.
Experimenting experimenting experimenting
PROBCORE-404 Working on translation stuff.
PROBCORE-404 Translation appears to work correctly.
PROBCORE-404 Refactored the representation of a proof for the 5th time.
PROBCORE-404 New mechanism for dealing with invariants and axioms.