Norman Megill and David A. Wheeler are the co-authors of the 2019 book "Metamath: A Computer Langauge for Mathematical Proofs"