Stworzyłem nowego bloga i już mam kilka postów. Oto jeden o wpadaniu do króliczej nory podczas badania LatticeFold, w poszukiwaniu systemu dowodowego z efektywną rekurencją i przyjaznymi dla sprzętu polami.