High Stakes Maths 3: Aliens, metamath, Wolfram Problem Generator, 7 x 5 = ?????
44
Published 2022-07-24
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