Matita
is an experimental, interactive theorem prover under development
Free software · matita.cs.unibo.it
Open Matita in AirStackWhat Matita’s own pages say
| What it says it does | is an experimental, interactive theorem prover under development matita.cs.unibo.it |
|---|
Each value is a quote AirStack found on the product’s own pages, read 2026-11-05. A missing field means AirStack has not found it on its pages.