Redex to Coq TranslationRedex to Coq TranslationToolRedex and Coq.Streamlining model conversion betweenLogic in Computer ScienceAutomating Translation from Redex to CoqA new tool aims to simplify the conversion of Redex models to Coq.2025-09-11T08:13:24+00:00 ― 5 min read