High Stakes Maths 4: Aliens, metamath, Wolfram Problem Generator, 24 / 3 = ?????
36
Publicado 2022-07-30
It's massively over rigorous overkill for a simple and basic problem, which is kind of the motto of pure mathematics haha.
I hope this series is an interesting way for people to get some exposure to metamath in a way which is interesting and fun.
us.metamath.org/
github.com/digama0/mmj2