Abstract
Matita is a new interactive theorem prover being developed at the University of Bologna, under the direction of Prof. Asperti.
| Original language | English |
|---|---|
| Pages | 117-120 |
| Number of pages | 4 |
| Publication status | Published - 1 Jan 2006 |
| Externally published | Yes |
| Event | 13th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2006 - Genova, Italy Duration: 7 Jul 2006 → 9 Jul 2006 |
Conference
| Conference | 13th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2006 |
|---|---|
| Country/Territory | Italy |
| City | Genova |
| Period | 7/07/06 → 9/07/06 |
Keywords
- Authoring
- Digital libraries
- Mathematical knowledge management
- Proof assistant
- XML