Ho creato un nuovo blog e ho già alcuni post. Eccone uno su come cadere nella tana del coniglio mentre si esamina LatticeFold, alla ricerca di un sistema di dimostrazione con ricorsione efficiente e campi compatibili con l'hardware.