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