skip to content
Archive of formal proofs Preview this item
ClosePreview this item
Checking...

Archive of formal proofs

Publisher: [Mountain View, Calif.] : SourceForge
Edition/Format:   eJournal/eMagazine : Document : Periodical : English
Database:WorldCat
Summary:
A collection of proof libraries, examples, and larger scientific developments, mechanically checked in the theorem prover 'Isabelle.' Isabelle allows mathematical formulas to be expressed in a formal language and provides tools for proving those formulas in a logical calculus.
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Mathematical formulae
Formulae
Material Type: Document, Periodical, Internet resource
Document Type: Internet Resource, Computer File, Journal / Magazine / Newspaper
ISSN:2150-914X
OCLC Number: 435420096
Other Titles: Archive of formal proofs

Abstract:

A collection of proof libraries, examples, and larger scientific developments, mechanically checked in the theorem prover 'Isabelle.' Isabelle allows mathematical formulas to be expressed in a formal language and provides tools for proving those formulas in a logical calculus.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.

Similar Items

Related Subjects:(2)

Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


<http://www.worldcat.org/oclc/435420096>
library:oclcnum"435420096"
library:placeOfPublication
library:placeOfPublication
rdf:typeschema:Periodical
rdf:typeschema:CreativeWork
rdf:typeschema:MediaObject
rdf:valueUnknown value: dct
schema:about
schema:about
schema:about
schema:datePublished"2004/9999"
schema:description"A collection of proof libraries, examples, and larger scientific developments, mechanically checked in the theorem prover 'Isabelle.' Isabelle allows mathematical formulas to be expressed in a formal language and provides tools for proving those formulas in a logical calculus."@en
schema:exampleOfWork<http://worldcat.org/entity/work/id/321711386>
schema:genre"Mathematical formulae"@en
schema:inLanguage"en"
schema:name"Archive of formal proofs"@en
schema:publication
schema:publisher
schema:url<http://afp.sourceforge.net/index.shtml>
schema:workExample
wdrs:describedby

Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.