Metamath Zero

From MaRDI portal

Revision as of 21:00, 5 March 2024 by Import240305080343 (talk | contribs) (Created automatically from import240305080343)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Software:53234

Jump to:navigation, search

swMATH37533MaRDI QIDQ53234

No author found.

Source code repository: https://github.com/digama0/mm0

Described by source

Metamath Zero: designing a theorem prover prover

Related Items (2)

Isabelle's metalogic: formalization and proof checker ⋮ A formalization and proof checker for Isabelle's metalogic

This page was built for software: Metamath Zero

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Software:53234&oldid=29529331"