Holfoot

I'm the author of Holfoot, a formalisation of the separation logic tool Smallfoot in HOL4. Moreover I'm the admin of A Heap of Problems, a Wiki that collects benchmark problems for separation logic tools.