Nothing Special »
Address
:
[go:
up one dir
,
main page
]
Include Form
Remove Scripts
Accept Cookies
Show Images
Show Referer
Rotate13
Base64
Strip Meta
Strip Title
Session Cookies
Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
Formats
RDF:
N-Triples
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
Other:
CSV
JSON-LD
Faceted Browser
Sparql Endpoint
About:
Proof assistants
An Entity of Type:
Concept
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia.org
Property
Value
dbo:
wikiPageID
33159529
(xsd:integer)
dbo:
wikiPageRevisionID
451672569
(xsd:integer)
dbp:
wikiPageUsesTemplate
dbt
:Cat_main
rdf:
type
skos
:Concept
rdfs:
label
Proof assistants
(en)
skos:
broader
dbc
:Dependently_typed_programming
dbc
:Domain-specific_programming_languages
dbc
:Theorem_proving_software_systems
skos:
prefLabel
Proof assistants
(en)
prov:
wasDerivedFrom
wikipedia-en
:Category:Proof_assistants?oldid=451672569&ns=14
is
dbo:
wikiPageWikiLink
of
dbr
:Proof_assistant
dbr
:Mizar_system
dbr
:MINLOG
dbr
:Nuprl
dbr
:Coq
dbr
:Epigram_(programming_language)
dbr
:LEGO_(proof_assistant)
dbr
:PhoX
dbr
:Prototype_Verification_System
dbr
:Total_functional_programming
dbr
:Matita
dbr
:HOL_Light
dbr
:Jape_(software)
dbr
:Logic_for_Computable_Functions
dbr
:ACL2
dbr
:Agda_(programming_language)
dbr
:Dafny
dbr
:Logical_framework
dbr
:QED_manifesto
dbr
:HOL_(proof_assistant)
dbr
:Isabelle_(proof_assistant)
dbr
:ALF_(proof_assistant)
dbr
:KeY
dbr
:Lean_(proof_assistant)
dbr
:Automath
dbr
:Metamath
dbr
:F*_(programming_language)
is
dct:
subject
of
dbr
:Proof_assistant
dbr
:Mizar_system
dbr
:MINLOG
dbr
:Nuprl
dbr
:Coq
dbr
:Epigram_(programming_language)
dbr
:LEGO_(proof_assistant)
dbr
:PhoX
dbr
:Prototype_Verification_System
dbr
:Total_functional_programming
dbr
:Matita
dbr
:HOL_Light
dbr
:Jape_(software)
dbr
:Logic_for_Computable_Functions
dbr
:ACL2
dbr
:Agda_(programming_language)
dbr
:Dafny
dbr
:Logical_framework
dbr
:QED_manifesto
dbr
:HOL_(proof_assistant)
dbr
:Isabelle_(proof_assistant)
dbr
:ALF_(proof_assistant)
dbr
:KeY
dbr
:Lean_(proof_assistant)
dbr
:Automath
dbr
:Metamath
dbr
:F*_(programming_language)
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 3.0 Unported License