Just out of curiousity, if you don't mind sharing... have you written this project, just out of interest, or does it serve as a step in a more practical goal?
- 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
