PL EN


2009 | 18(31) | 137-151
Article title

STATISTICS ON DIGITAL LIBRARIES OF MATHEMATICS

Authors
Selected contents from this journal
Title variants
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.
Year
Issue
Pages
137-151
Physical description
Document type
ARTICLE
Contributors
author
  • Freek Wiedijk, Institute for Computing and Information Sciences, Radboud University Nijmegen, Toernooiveld 1, 6525 ED Nijmegen, TheĀ Netherlands
References
Document Type
Publication order reference
Identifiers
CEJSH db identifier
11PLAAAA101610
YADDA identifier
bwmeta1.element.d0e94bea-3fc0-3ca5-bc89-ae502e6d205e
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.