Statements (27)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:library
repository |
| gptkbp:abbreviation |
gptkb:AFP
|
| gptkbp:acceptsSubmissions |
true
|
| gptkbp:associatedWith |
gptkb:Isabelle_proof_assistant
|
| gptkbp:citation |
true
|
| gptkbp:contains |
formally verified computer science
formally verified mathematics |
| gptkbp:country |
gptkb:Germany
|
| gptkbp:doi |
10.5281/zenodo.3668510
|
| gptkbp:editor |
gptkb:Gerwin_Klein
gptkb:Tobias_Nipkow |
| gptkbp:focusesOn |
gptkb:Isabelle/HOL
formal proofs |
| gptkbp:foundedIn |
2004
|
| https://www.w3.org/2000/01/rdf-schema#label |
Archive of Formal Proofs
|
| gptkbp:ISSN |
2150-914x
|
| gptkbp:language |
English
|
| gptkbp:license |
gptkb:BSD_license
|
| gptkbp:maintainedBy |
Isabelle community
|
| gptkbp:openAccess |
true
|
| gptkbp:publishes |
peer-reviewed formalizations
|
| gptkbp:subjectArea |
gptkb:mathematics
computer science |
| gptkbp:website |
https://www.isa-afp.org/
|
| gptkbp:bfsParent |
gptkb:Isabelle
|
| gptkbp:bfsLayer |
6
|