minlog optional math
proofgeneral optional editors
