Metamath Zero

MaRDI QIDQ53234swMATHFDO

Official website https://link.springer.com/chapter/10.1007%2F978-3-030-53518-6_5

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

Described by source

• Metamath Zero: designing a theorem prover prover

Cited in

(8)

• Isabelle's metalogic: formalization and proof checker
• Milawa
• Jitawa
• HOL Zero
• Bedrock
• Light-weight Containers
• PLM
• A formalization and proof checker for Isabelle's metalogic

This page was built for software: Metamath Zero