Custom automations in Mizar
type: Item
instance of: scholarly article
title: Custom automations in Mizar
zbMATH Open document ID: 1260.68367
author: Marco Caminati
author: Giuseppe Rosolini
published in: Journal of Automated Reasoning
publication date: 2013-04-17T00:00:00Z
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 03B35
zbMATH DE Number: 6154933
zbMATH Keywords: \texttt{Mizar} proof verifier
zbMATH Keywords: formalization of mathematics
zbMATH Keywords: automations
zbMATH Keywords: proof assistant
describes a project that uses: MizarMode
describes a project that uses: MoMM
describes a project that uses: Mizar
describes a project that uses: MML
MaRDI profile type: Publication
full work available at URL: s10817-012-9266-1
OpenAlex ID: W2007976915
cites work: Mathematical Knowledge Management
cites work: Integrating searching and authoring in Mizar
cites work: Preliminaries to classical first-order model theory
cites work: Q3075247
cites work: On equivalents of well-foundedness. An experiment in MIZAR
cites work: MizarMode -- an integrated proof assistance tool for the Mizar way of formalizing mathematics
cites work: Mizar’s Soft Type System
DOI: 10.1007/S10817-012-9266-1
description: scientific article; zbMATH DE number 6154933