Show Nim: Forematics is a Metamath verifier written in Nim.

[foldl]

Cool.

I know nothing about how a verifier can be implemented. Could you provide more 
information?