We've got 0 shorthands for matita »
Acronyms that contain the term matita
What does matita mean? This page is about the various possible meanings of the acronym, abbreviation, shorthand or slang term: matita.
We couldn't find any results for your search.
Couldn't find the right meaning of matita?
Maybe you were looking for one of these abbreviations:
MATI, MATIC, MATIF, MATILDA, MATIS, MATK, MATL, MATLAB, MATLS, MATM
... or use our Power Search technology to look
for more unique definitions from across the web!
Search the web
What does matita mean?
- Matita
- Matita is 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.
Citation
Use the citation options below to add these abbreviations to your bibliography.
Style:MLAChicagoAPA
"matita." Abbreviations.com. STANDS4 LLC, 2024. Web. 1 May 2024. <https://www.abbreviations.com/matita>.
Discuss these matita abbreviations with the community:
Report Comment
We're doing our best to make sure our content is useful, accurate and safe.
If by any chance you spot an inappropriate comment while navigating through our website please use this form to let us know, and we'll take care of it shortly.
Attachment
You need to be logged in to favorite.
Log In