Gradual computerisation/formalisation of mathematical texts into Mizar

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