The following pages link to Custom automations in Mizar (Q1945910):
Displaying 10 items.
- Four decades of {\textsc{Mizar}}. Foreword (Q286794) (← links)
- Automating Boolean set operations in Mizar proof checking with the aid of an external SAT solver (Q286803) (← links)
- Fermat's little theorem via divisibility of Newton's binomial (Q500025) (← links)
- An example of formalizing recent mathematical results in MIZAR (Q865630) (← links)
- MizarMode -- an integrated proof assistance tool for the Mizar way of formalizing mathematics (Q865631) (← links)
- Eliciting implicit assumptions of Mizar proofs by property omission (Q1945901) (← links)
- On rewriting rules in Mizar (Q1945908) (← links)
- Multiplication-related classes of complex numbers (Q2113836) (← links)
- Mathematical Knowledge Management (Q5313068) (← links)
- SAT-Enhanced Mizar Proof Checking (Q5495946) (← links)