## The Matita Interactive Theorem Prover

### Cached

### Download Links

by
Andrea Asperti
,
Wilmer Ricciotti
,
Claudio Sacerdoti Coen
,
Enrico Tassi

Citations: | 8 - 6 self |