An integrated development environment for formal mathematics