Accessible Integrated Formal Reasoning Environments