J’ai fait un nouveau blog, et j’ai déjà quelques articles. En voici un sur le fait de tomber dans le terrier du lapin en regardant dans LatticeFold, à la recherche d’un système de preuve avec une récursivité efficace et des champs respectueux du matériel.