]>
2019-10-14 | Ferruccio Guidi | backport of WIP on \lambda\delta to matita 0.99.3 | tree | commitdiff |
2019-05-16 | Ferruccio Guidi | decentralizing core notation continues ... | tree | commitdiff |
2014-09-17 | Andrea Asperti | big_O.ma | tree | commitdiff |
2014-09-17 | Andrea Asperti | toolkit.ma | tree | commitdiff |
2014-08-03 | Andrea Asperti | new files | tree | commitdiff |
2014-01-28 | Andrea Asperti | Almost there | tree | commitdiff |
2014-01-28 | Andrea Asperti | progress | tree | commitdiff |
2014-01-27 | Andrea Asperti | working version | tree | commitdiff |
2013-05-31 | Andrea Asperti | gap.ma | tree | commitdiff |
2013-05-03 | Andrea Asperti | reverse complexity | tree | commitdiff |