]>
2022-06-08 | Ferruccio Guidi | update in lib | commit | commitdiff |
2022-01-08 | Ferruccio Guidi | update in lib | commit | commitdiff |
2021-02-26 | Ferruccio Guidi | propagating the arithmetics library, partial commit | commit | commitdiff |
2018-04-20 | Ferruccio Guidi | decentralizing core notation continues ... | commit | commitdiff |
2018-03-29 | Ferruccio Guidi | decentralizing core notation | commit | commitdiff |
2014-02-27 | Claudio Sacerdoti... | Porting of HOTT from Coq to Matita. | commit | commitdiff |