mm0b_parser (cargo): parsing tools for Metamath Zero's MMB binary format
Keywords: proving|proof|assistant|theorem