metamath

  1. Megill M. Metamath. A Computer Language for Mathematical Proofs 2019 [PDF]

    | 247 | | | | Files: Megill M. Metamath. A Computer Language for Mathematical Proofs 2019.pdf (5.36 MB) NitroFlare Link(s) https://nitroflare.com/view/CFC5A43685191F8/Megill_M._Metamath._A_Computer_Language_for_Mathematical_Proofs_2019.rar RapidGator Link(s)...