J'ai créé un nouveau blog et j'ai déjà quelques articles. Voici un article sur le fait de tomber dans le terrier du lapin en explorant LatticeFold, à la recherche d'un système de preuve avec une récursion efficace et des champs adaptés au matériel.