Metamath Zero

swMATH37533MaRDI QIDQ53234FDOQ53234

Author name not available (Why is that?)

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

Described by source

• Metamath Zero: designing a theorem prover prover

Cited In (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