Isabelle import infrastructure for the Mizar Mathematical Library
type: Item
instance of: scholarly article
title: Isabelle import infrastructure for the Mizar Mathematical Library
zbMATH Open document ID: 1417.68185
DOI: 10.1007/978-3-319-96812-4_13
author: Cezary Kaliszyk
author: Karol Pąk
publication date: 2018-10-18T00:00:00Z
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 68U35
zbMATH DE Number: 6957965
Wikidata QID: Q108482119
describes a project that uses: Isabelle/HOL
describes a project that uses: MPTP 0.2
describes a project that uses: HOL Light
describes a project that uses: Isabelle
describes a project that uses: Mizar
MaRDI profile type: Publication
full work available at URL: 978-3-319-96812-4 13
OpenAlex ID: W2883813939
description: scientific article; zbMATH DE number 6957965