Tipi

MaRDI QIDQ21140swMATHFDO

Official website http://arxiv.org/pdf/1204.0901v2.pdf

Cited in

(5)

• Eliciting implicit assumptions of Mizar proofs by property omission
• Complete independence of an axiom system for central translations
• LPL software
• Prolegomena to any theory of proof simplicity
• The simplest axiom system for hyperbolic geometry revisited, again

This page was built for software: Tipi