Bir ay. 300 Bin'den fazla kanıt sonra…

Hyli, işlevsel bir kanıt çözümleme makinesi olarak kendini gösterdi.

Neler başardık, neler öğrendik ve neler geliyor. https://t.co/b9nHNkF5Pt