Pretty-big-step semantics

Pretty-Big-Step Semantics
Arthur Charguéraud
ESOP: European Symposium on Programming, March 2013

Developments

To get up to date files, clone the 'formal-meta-coq' git respository, which is linked from this page.