The following pages link to On the Structure of Mizar Types (Q4924547):
Displayed 6 items.
- Flexary connectives in Mizar (Q1749141) (← links)
- The Mizar Mathematical Library in OMDoc: translation and applications (Q1945907) (← links)
- Pythagorean tuning: pentatonic and heptatonic scale (Q2311533) (← links)
- Presentation and manipulation of Mizar properties in an Isabelle object logic (Q2364678) (← links)
- User interaction with the Matita proof assistant (Q2462635) (← links)
- Formalising foundations of mathematics (Q3094180) (← links)