Gradual computerisation/formalisation of mathematical texts into Mizar (0)

by Fairouz Kamareddine, Manuel Maarek, Krzysztof Retel, J B Wells
Venue:Bibliography 171 From Insight to Proof: Festschrift in Honour of Andrzej Trybulec