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 handling of overloading by means of a flexible disambiguation mechanism. We show how to use these features to obtain a simple learning environment for natural deduction, without modifying the source code or Matita. |
Year | DOI | Venue |
---|---|---|
2009 | 10.1007/978-3-642-02614-0_40 | Calculemus/MKM |
Keywords | Field | DocType |
flexible disambiguation mechanism,automatic handling,mathml presentation,simple learning environment,natural deduction environment,source code,proof assistant,user extensible,output facility,natural deduction | Programming language,Source code,Natural deduction,Computer science,Learning environment,Rendering (computer graphics),Extensibility,MathML,Proof assistant | Conference |
Volume | ISSN | Citations |
5625 | 0302-9743 | 0 |
PageRank | References | Authors |
0.34 | 6 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Claudio Sacerdoti Coen | 1 | 384 | 40.66 |
Enrico Tassi | 2 | 327 | 21.79 |