Maîtriser l'induction et les preuves sur les nombres naturels avec PLFA.github.io
Introduction à PLFA et Agda
PLFA.github.io (Programming Language Foundations in Agda) est un projet open source qui utilise le langage Agda pour enseigner les fondements de la théorie des langages de programmation. Il fournit un environnement interactif pour construire des preuves formelles, mettant l'accent sur l'induction et les nombres natur ...
Publié le 15 juin à 07h00