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