1 citations · 1 across the 3 of their papers we have counts for
1 paper · 1 filter
Mallku Soldevila, Rodrigo Ribeiro, Beta Ziliani
We propose the first steps in the development of a tool to automate the translation of Redex models into a (hopefully) semantically equivalent model in Coq, and to provide tactics…