mmb-parser 0.2.0

A parser for the Metamath Zero binary proof format
Documentation