Projet pédagogique visant à développer un outil capable de vérifier l'équivalence entre deux circuits logiques. Les utilisateurs peuvent tester leur implémentation sur des exemples fournis pour valider leur travail.