3 ms·
Oh, and given that Christian Urban is a coauthor, are you using nominal techniques?
by auggierose 9y ago
Oh, and given that Christian Urban is a coauthor, are you using nominal techniques?
- xgk 9y agoWe have an implementation in Nominal Isabelle/HOL, but it's not used in the paper.