Harpoon: Mechanizing Metatheory Interactively - (System Description). - Jacob Errington; Junyoung Jang 001; Brigitte Pientka (CADE, 2021)