Pure math is a goal in itself. I mainly written this because it looked like fun, and to brush up on my math skills.
- Show Nim: Forematics is a Metamath verifier written in Nim. treeform
- Show Nim: Forematics is a Metamath verifier written in Nim. foldl
- Show Nim: Forematics is a Metamath verifier written in N... xigoi
- Show Nim: Forematics is a Metamath verifier written ... treeform
- Show Nim: Forematics is a Metamath verifier writ... treeform
- Show Nim: Forematics is a Metamath verifier... kobi
- Show Nim: Forematics is a Metamath veri... treeform
