]>
2018-04-20 | Ferruccio Guidi | decentralizing core notation continues ... | blob | commitdiff | raw |
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 |