Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Matita> ?p ?o. }
Showing items 1 to 58 of
58
with 100 items per page.
- Matita abstract "Matitais an experimental proof assistant under development at the Computer Science Department of the University of Bologna. It is a tool aiding the development of formal proofs by man-machine collaboration, providing a programming environment where formal specifications, executable algorithms and automatically verifiable correctness certificates naturally cohexist.Matita is based on a Dependent Type System known as the Calculus of (Co)Inductive Constructions (a derivative of Calculus of Constructions), and is compatible, to some extent, with Coq.The word matita means "pencil" in Italian (a simple and widespread editing tool). It is a reasonably small and simple application, whose architectural and software complexity is meant to be mastered by students, providing a tool particularly suited for testing innovative ideas and solutions. Matita adopts a tactic based editing mode; (XML-encoded) proof objects are produced for storage and exchange.".
- Matita frequentlyUpdated "yes".
- Matita genre Automated_theorem_proving.
- Matita license GNU_General_Public_License.
- Matita operatingSystem Linux.
- Matita programmingLanguage OCaml.
- Matita thumbnail Matita_screenshot.png?width=300.
- Matita wikiPageExternalLink cerco.cs.unibo.it.
- Matita wikiPageExternalLink home_en.html.
- Matita wikiPageExternalLink matita.cs.unibo.it.
- Matita wikiPageExternalLink development.shtml.
- Matita wikiPageID "7160638".
- Matita wikiPageRevisionID "603828676".
- Matita caption "The Matita proof authoring interface.".
- Matita developer development.shtml.
- Matita frequentlyUpdated "yes".
- Matita genre Automated_theorem_proving.
- Matita hasPhotoCollection Matita.
- Matita language "English".
- Matita license GNU_General_Public_License.
- Matita logo "36".
- Matita name "Matita".
- Matita operatingSystem Linux.
- Matita programmingLanguage OCaml.
- Matita released "?".
- Matita screenshot "240".
- Matita website matita.cs.unibo.it.
- Matita wordnet_type synset-software-noun-1.
- Matita subject Category:Dependently_typed_languages.
- Matita subject Category:Educational_math_software.
- Matita subject Category:Free_software_programmed_in_OCaml.
- Matita subject Category:Free_theorem_provers.
- Matita subject Category:Functional_languages.
- Matita subject Category:OCaml_software.
- Matita subject Category:Proof_assistants.
- Matita type Abstraction100002137.
- Matita type Code106355894.
- Matita type CodingSystem106353757.
- Matita type Communication100033020.
- Matita type Software106566077.
- Matita type Writing106359877.
- Matita type WrittenCommunication106349220.
- Matita type Software.
- Matita type Work.
- Matita type CreativeWork.
- Matita type SoftwareObject.
- Matita type InformationEntity.
- Matita comment "Matitais an experimental proof assistant under development at the Computer Science Department of the University of Bologna.".
- Matita label "Matita".
- Matita sameAs m.0h7frr.
- Matita sameAs Q6787610.
- Matita sameAs Q6787610.
- Matita sameAs Matita.
- Matita wasDerivedFrom Matita?oldid=603828676.
- Matita depiction Matita_screenshot.png.
- Matita homepage matita.cs.unibo.it.
- Matita isPrimaryTopicOf Matita.
- Matita name "Matita".