Skip to main menu
Scroll to content
Full-text resources of CEJSH and other databases are now available in the new Library of Science.
Visit
https://bibliotekanauki.pl
Search
Browse
About
test
PL
EN
BibTeX
PN-ISO 690:2012
Chicago
Chicago (Author-Date)
Harvard
ACS
ACS (no art. title)
IEEE
Article details
Tools
PL
EN
BibTeX
PN-ISO 690:2012
Chicago
Chicago (Author-Date)
Harvard
ACS
ACS (no art. title)
IEEE
Link to site
Copy
Journal
Studies in Logic, Grammar and Rhetoric
2009
|
18(31)
| 137-151
Article title
STATISTICS ON DIGITAL LIBRARIES OF MATHEMATICS
Authors
Wiedijk Freek
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.
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
Physical description
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
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.