Larch sem
Making Your Code Citable
Cool shit
A comparison of elaborated and restricted feedback in LogEx, a tool for teaching rewriting logical formulae
FMTea 2021
EPTCS: Isabelle/HOL as a Meta-Language for Teaching Logic