STATISTICS ON DIGITAL LIBRARIES OF MATHEMATICS

• Authors: Wiedijk Freek
• Languages of publication: EN

Abstracts

EN

We present statistics on the standard libraries of four major proof assistants for mathematics: HOL Light, Isabelle/HOL, Coq and Mizar.

Keywords

EN

DIGITAL LIBRARIES OF MATHEMATICS; PROOF ASSISTANTS

Discipline

• LIBRARY_&_INFORMATION_SCIENCE: LIBRARY & INFORMATION SCIENCE

• Publisher: Sciendo
• Journal: Studies in Logic, Grammar and Rhetoric
• Year: 2009
• Issue: 18(31)
• Pages: 137-151
• Document type: ARTICLE

Contributors

author

Wiedijk Freek

• Freek Wiedijk, Institute for Computing and Information Sciences, Radboud University Nijmegen, Toernooiveld 1, 6525 ED Nijmegen, The Netherlands

Identifiers

CEJSH db identifier

11PLAAAA101610