Założyłem nowego bloga i mam już kilka postów. Oto jeden z nich o wpadnięciu do króliczej nory podczas zaglądania do LatticeFold w poszukiwaniu systemu dowodowego z wydajną rekurencją i polami przyjaznymi dla sprzętu.
4,67K