← Lcoalhost
Matita 0.4.0: 60 new icons, and one number from sketchy to exact
Source :
DEV
See it live in context on Lcoalhost →
