Custom automations in Mizar
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 5850143 (Why is no real title available?)
- Integrating searching and authoring in Mizar
- Mathematical Knowledge Management
- Mathematical Knowledge Management
- MizarMode -- an integrated proof assistance tool for the Mizar way of formalizing mathematics
- Mizar’s Soft Type System
- On equivalents of well-foundedness. An experiment in MIZAR
- Preliminaries to classical first-order model theory
Cited in
(15)- Eliciting implicit assumptions of Mizar proofs by property omission
- On rewriting rules in Mizar
- Multiplication-related classes of complex numbers
- Enhancement of \textsc{Mizar} texts with transitivity property of predicates
- Four decades of \textsc{Mizar}. Foreword
- Automating Boolean set operations in Mizar proof checking with the aid of an external SAT solver
- Tentative experiments with ellipsis in Mizar
- Automated reasoning and presentation support for formalizing mathematics in MizAR
- Fermat's little theorem via divisibility of Newton's binomial
- Mathematical Knowledge Management
- Alternative Aggregates in Mizar
- SAT-enhanced Mizar proof checking
- Extending numeric automation for number theory formalizations in Mizar
- An example of formalizing recent mathematical results in MIZAR
- MizarMode -- an integrated proof assistance tool for the Mizar way of formalizing mathematics
This page was built for publication: Custom automations in Mizar
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1945910)
