The following pages link to Tipi (Q21140):
Displayed 4 items.
- The simplest axiom system for hyperbolic geometry revisited, again (Q456972) (← links)
- Eliciting implicit assumptions of Mizar proofs by property omission (Q1945901) (← links)
- Prolegomena to any theory of proof simplicity (Q5204801) (← links)
- Complete independence of an axiom system for central translations (Q5418678) (← links)