Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Matita> ?p ?o }
Showing triples 1 to 92 of
92
with 100 triples 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 coexist.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 developer development.shtml.
- 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 wikiPageLength "5469".
- Matita wikiPageOutDegree "28".
- Matita wikiPageRevisionID "644814368".
- Matita wikiPageWikiLink Automated_theorem_proving.
- Matita wikiPageWikiLink Calculus_of_Constructions.
- Matita wikiPageWikiLink Calculus_of_constructions.
- Matita wikiPageWikiLink Category:Dependently_typed_languages.
- Matita wikiPageWikiLink Category:Educational_math_software.
- Matita wikiPageWikiLink Category:Free_software_programmed_in_OCaml.
- Matita wikiPageWikiLink Category:Free_theorem_provers.
- Matita wikiPageWikiLink Category:Functional_languages.
- Matita wikiPageWikiLink Category:OCaml_software.
- Matita wikiPageWikiLink Category:Proof_assistants.
- Matita wikiPageWikiLink Computer_Science.
- Matita wikiPageWikiLink Computer_science.
- Matita wikiPageWikiLink Coq.
- Matita wikiPageWikiLink Curry-Howard.
- Matita wikiPageWikiLink Curry–Howard_correspondence.
- Matita wikiPageWikiLink Dependent_Type.
- Matita wikiPageWikiLink File:Matita_logo.png.
- Matita wikiPageWikiLink File:Matita_screenshot.png.
- Matita wikiPageWikiLink GNU_General_Public_License.
- Matita wikiPageWikiLink Interactive_theorem_proving.
- Matita wikiPageWikiLink Intuitionistic_Type_Theory.
- Matita wikiPageWikiLink Intuitionistic_type_theory.
- Matita wikiPageWikiLink Linux.
- Matita wikiPageWikiLink OCaml.
- Matita wikiPageWikiLink Parsing.
- Matita wikiPageWikiLink Proof_assistant.
- Matita wikiPageWikiLink Romania.
- Matita wikiPageWikiLink Theorem_proving.
- Matita wikiPageWikiLink Type_inference.
- Matita wikiPageWikiLink Type_system.
- Matita wikiPageWikiLink Unification.
- Matita wikiPageWikiLink University_of_Bologna.
- Matita wikiPageWikiLink XML.
- Matita wikiPageWikiLinkText "Matita".
- Matita caption "The Matita proof authoring interface.".
- Matita developer development.shtml.
- Matita frequentlyUpdated "yes".
- Matita genre Automated_theorem_proving.
- Matita genre 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 "1999".
- Matita screenshot "240".
- Matita website matita.cs.unibo.it.
- Matita wikiPageUsesTemplate Template:For.
- Matita wikiPageUsesTemplate Template:Infobox_Software.
- Matita wikiPageUsesTemplate Template:Reflist.
- 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 Software.
- Matita type Work.
- Matita type Assistant.
- Matita type CreativeWork.
- Matita type Thing.
- Matita type Q386724.
- Matita type Q7397.
- 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 wasDerivedFrom Matita?oldid=644814368.
- Matita depiction Matita_screenshot.png.
- Matita homepage matita.cs.unibo.it.
- Matita isPrimaryTopicOf Matita.
- Matita name "Matita".