Maintaining a library of formal mathematics
type: Item
instance of: scholarly article
title: Maintaining a library of formal mathematics
zbMATH Open document ID: 1455.68262
DOI: 10.1007/978-3-030-53518-6_16
author: Floris van Doorn
author: Gabriel Ebner
author: Robert Y. Lewis
publication date: 2021-01-20T00:00:00Z
full work available at URL: https://arxiv.org/abs/2004.03673
Mathematics Subject Classification ID: 68V20
Mathematics Subject Classification ID: 68V30
zbMATH DE Number: 7298568
zbMATH Keywords: mathlib
zbMATH Keywords: formal mathematics library
zbMATH Keywords: library development
zbMATH Keywords: linting
describes a project that uses: Lean
describes a project that uses: Coq
describes a project that uses: Isabelle/HOL
describes a project that uses: GHC
describes a project that uses: ELPI
describes a project that uses: AProVE
describes a project that uses: Mizar
describes a project that uses: Archive Formal Proofs
MaRDI profile type: Publication
OpenAlex ID: W3100204936
arXiv ID: 2004.03673
description: scientific article