Metamath database verifier.
A simple, type-safe, fluent api to construct regular expressions (and no dependencies!)