Outil de traduction RedexOutil de traduction Redexvers Coqentre Redex et Coq.Simplifier la conversion de modèleLogique en informatiqueAutomatiser la traduction de Redex à CoqUn nouvel outil vise à simplifier la conversion des modèles Redex en Coq.2025-09-11T08:13:24+00:00 ― 6 min lire