Sciweavers

74
Voted
MKM
2009
Springer
15 years 3 months ago
Natural Deduction Environment for Matita
Abstract. Matita is a proof assistant characterised by a rich, user extensible, output facility based on a widget for the rendering of MathML Presentation, and by the automatic han...
Claudio Sacerdoti Coen, Enrico Tassi