The following pages link to (Q2767928):
Displayed 6 items.
- Four decades of {\textsc{Mizar}}. Foreword (Q286794) (← links)
- The role of the Mizar mathematical library for interactive proof development in Mizar (Q1663215) (← links)
- On rewriting rules in Mizar (Q1945908) (← links)
- A Logically Saturated Extension of ${{\bar\lambda\mu\tilde{\mu}}}$ (Q3637295) (← links)
- Pollack-inconsistency (Q5170237) (← links)
- An integrated web platform for the Mizar Mathematical Library (Q6159377) (← links)