Criei um novo blog e já tenho alguns posts. Aqui está um sobre cair na toca do coelho enquanto investigava o LatticeFold, em busca de um sistema de prova com recursão eficiente e campos amigáveis ao hardware.
4,6K