NatKarmios/gillian-debugger-presentation

A presentation on Gillian's debugger, made with React and reveal.js.

A presentation on Gillian's debugger.

Made using React and reveal.js, largely based on this boilerplate.