Package metamath

• metamath(1) — Formal proof verifier and proof assistant