Use Metamath through a Racket library and language, and DrRacket IDE support
No issues in this repository yet.