## Gradual computerisation/formalisation of mathematical texts into Mizar

### Cached

### Download Links

by
Fairouz Kamareddine
,
Manuel Maarek
,
Krzysztof Retel
,
J. B. Wells

Venue: | From Insight to Proof: Festschrift in Honour of Andrzej Trybulec |

Citations: | 10 - 5 self |