Acorn's standard library of mathematical facts.
@acornprover/acornlib
Expand the valid but complicated proofs in a module to have more detailed steps, so that they are reprovable.
