https://www.bootstrapworld.org/materials/spring2017/courses/algebra/units/unit1/index.html is DrRacket

@monsieur.toulouse I’d look at bootstrap.