Metamath Zero

swMATH37533MaRDI QIDQ53234FDOQ53234

Author name not available (Why is that?)

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)

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

This page was built for software: Metamath Zero