An environment for learning formal mathematical reasoning from scratch - View it on GitHub