Custom automations in Mizar
From MaRDI portal
Publication:1945910
DOI10.1007/s10817-012-9266-1zbMath1260.68367OpenAlexW2007976915MaRDI QIDQ1945910
Giuseppe Rosolini, Marco Bright Caminati
Publication date: 17 April 2013
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10817-012-9266-1
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (4)
Automating Boolean set operations in Mizar proof checking with the aid of an external SAT solver ⋮ Fermat's little theorem via divisibility of Newton's binomial ⋮ SAT-Enhanced Mizar Proof Checking ⋮ Multiplication-related classes of complex numbers
Uses Software
Cites Work
- Unnamed Item
- MizarMode -- an integrated proof assistance tool for the Mizar way of formalizing mathematics
- On equivalents of well-foundedness. An experiment in MIZAR
- Integrating searching and authoring in Mizar
- Preliminaries to Classical First Order Model Theory
- Mizar’s Soft Type System
- Mathematical Knowledge Management
- Mathematical Knowledge Management
This page was built for publication: Custom automations in Mizar