Matita
id:
matita-277-18558208
title:
Matita
text:
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, and is compatible, to some extent,
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Matita
date created:
date modified:
2024-04-10T00:52:03Z
main entity:
{"identifier":"Q6787610","url":"https://www.wikidata.org/entity/Q6787610"}
image:
{"content_url":"https://upload.wikimedia.org/wikipedia/commons/3/32/Matita_screenshot.png","width":1162,"height":979}
fields total:
13
integrity:
14