another version of math inprover but its in french here is the original: https://scratch.mit.edu/projects/361365151
