Vytvořila jsem si nový blog a už mám několik příspěvků. Zde je jeden o pádu do králičí nory při pohledu do LatticeFold, při hledání důkazního systému s efektivní rekurzí a hardwarově přívětivými poli.
4,44K