mmb-parser (cargo): A parser for the Metamath Zero binary proof format
Keywords: metamath-zero