Matita

For the Romanian village of Matiţa, see Păcureţi.

Matita

The Matita proof authoring interface.
Developer(s)	Matita team
Initial release	?
Written in	OCaml
Operating system	GNU/Linux
Available in	English
Type	Theorem proving
License	GPL
Website	http://matita.cs.unibo.it

Matita is an experimental proof assistant under development at the Computer Science Department of the University of Bologna.

Matita is based on the Calculus of (Co)Inductive Constructions (a derivative of Calculus of Constructions), and is compatible, to some extent, with Coq. 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.

See also

• Interactive theorem proving
• Curry-Howard
• Intuitionistic Type Theory

External links

• The Matita Proof Assistant

This logic-related article is a stub. You can help Wikipedia by expanding it.v · Categories: Logic stubs Proof assistants Free theorem provers Wikimedia Foundation. 2010. Игры ⚽ Нужно сделать НИР? Stick It Live Proclus Oneirocrites Look at other dictionaries: matiţă — MATÍŢĂ, matiţe, s.f. (reg.) Sac de plasă care formează partea din fund a năvodului şi în care se strâng peştii prinşi; matcă. – Din bg. matica. cf. scr. m a t i c a. Trimis de claudia, 13.09.2007. Sursa: DEX 98  MÁTIŢĂ s. (PESCUIT) matcă, (reg.) …   Dicționar Român matita — s.f. [dal lat. haematites, gr. haimatítēs (líthos ) (pietra) sanguigna ]. [strumento per scrivere, costituito da un sottile cilindro (mina) di grafite o di materiale colorante, racchiuso in una guaina di legno tagliata a punta: m. nera, rossa ;… …   Enciclopedia Italiana matita — ma·tì·ta s.f. AD 1. strumento per scrivere e disegnare costituito da un bastoncino sottile di grafite o di impasto colorato racchiuso in un cannello di legno: scarabocchiare con la matita, temperare la matita Sinonimi: lapis. 2. prodotto… …   Dizionario italiano matita — {{hw}}{{matita}}{{/hw}}s. f. 1 Oggetto costituito da una mina racchiusa in un involucro di legno o di metallo, per scrivere, disegnare, colorare e sim. 2 Oggetto simile a una matita, per medicazione e cosmesi: matita per le labbra | Matita… …   Enciclopedia di italiano Matiţa River — River Countries Romania Counties Prahova County …   Wikipedia matita — pl.f. matite …   Dizionario dei sinonimi e contrari matita — s. f. 1. lapis 2. grafite, piombaggine 3. eyeliner (ingl.) …   Sinonimi e Contrari. Terza edizione MATÎTA — (C: Metâyıt) Havuz dibinde kalan balçıklı bulanık su …   Yeni Lügat Türkçe Sözlük ¡Ya te veo, matita de poleo! — Denuncia al que, haciéndose el inocente, delata maliciosas intenciones. Por eso previene otro refrán: Guarde Dios mi burra de su centeno …   Diccionario de dichos y refranes Lapis — matita …   Mini Vocabolario milanese italiano 18+ © Academic, 2000-2024 Contact us: Technical Support, Advertising Dictionaries export, created on PHP, Joomla, Drupal, WordPress, MODx. Mark and share Search through all dictionaries Translate… Search Internet Share the article and excerpts Direct link … Do a right-click on the link above and select “Copy Link”