 This database was first created by Norman Megill, but as of 2019-10-04 there have been 48 contributors (including Norman Megill).The Metamath Proof Explorer references many text books that can be used in conjunction with Metamath.Thus, people interested in studying mathematics can use Metamath in connection with these books and verify that the proved assertions match the literature.