Home
Random
Nearby
Log in
Settings
Donate
About Wikidata
Disclaimers
Search
(Q108305552)
Watch
English
Archive of Formal Proofs
official collection of Isabelle formalised mathematical proofs
AFP
In more languages
default for all languages
No label defined
No description defined
edit
Statements
instance of
scientific journal
0 references
data library
0 references
archive
0 references
inception
2004
0 references
title
Archive of Formal Proofs
(English)
0 references
country
Germany
0 references
main subject
Isabelle
0 references
editor
Gerwin Klein
0 references
Tobias Nipkow
0 references
Lawrence Paulson
0 references
René Thiemann
0 references
Andreas Lochbihler
0 references
country of origin
Germany
0 references
language of work or name
English
0 references
operator
Technical University of Munich
0 references
source code repository URL
https://foss.heptapod.net/isa-afp
version control system
Mercurial
web interface software
Heptapod
0 references
official website
https://www.isa-afp.org/
language of work or name
English
0 references
http://www.afp.sourceforge.net
language of work or name
English
end time
April 2016
0 references
copyright license
GNU Lesser General Public License
0 references
BSD licenses
0 references
copyright status
copyrighted
0 references
maintained by WikiProject
WikiProject Software
0 references
indexed in bibliographic review
dblp computer science bibliography
0 references
Identifiers
ISSN
2150-914X
distribution format
digital distribution
0 references
ISSN-L
2150-914X
distribution format
digital distribution
0 references
DBLP venue ID
journals/afp
0 references
HAL journal ID
105429
0 references
OpenAlex ID
S2764959739
subject named as
Archive of formal proofs
1 reference
stated in
OpenAlex
Sitelinks
Wikipedia
(0 entries)
edit
Wikibooks
(0 entries)
edit
Wikinews
(0 entries)
edit
Wikiquote
(0 entries)
edit
Wikisource
(0 entries)
edit
Wikiversity
(0 entries)
edit
Wikivoyage
(0 entries)
edit
Wiktionary
(0 entries)
edit
Multilingual sites
(0 entries)
edit