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 the 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.
Reminiscencia
- 2022-01-24T00:00:00.000000Z
Yeah!
- 2021-08-06T00:00:00.000000Z
COKETA
- 2023-04-29T00:00:00.000000Z
Pala y Pila
- 2023-01-07T00:00:00.000000Z
Dolce
- 2022-11-25T00:00:00.000000Z
Amarella
- 2022-10-07T00:00:00.000000Z
Flotar
- 2022-09-16T00:00:00.000000Z
Llámame
- 2022-08-13T00:00:00.000000Z
Flow Cabron
- 2022-06-25T00:00:00.000000Z
Dale
- 2022-06-04T00:00:00.000000Z
Sad for Love
- 2022-02-14T00:00:00.000000Z
Tú
- 2021-11-18T00:00:00.000000Z
Escuchame
- 2021-10-22T00:00:00.000000Z
Que Maria
- 2021-08-20T00:00:00.000000Z
Reggaeton
- 2021-07-23T00:00:00.000000Z
Peligroso
- 2021-07-09T00:00:00.000000Z
En Tra
- 2021-06-25T00:00:00.000000Z
Bla Bla
- 2021-06-11T00:00:00.000000Z
Salta CTM
- 2021-05-28T00:00:00.000000Z
Colors
- 2021-03-20T00:00:00.000000Z
Bikini Mini
- 2021-01-29T00:00:00.000000Z
Alo
- 2021-01-23T00:00:00.000000Z
Similar Artists