Michael Ballantyne gives a demo of the Boxer system from MIT.

BOXER: A RECONSTRUCTIBLE COMPUTATIONAL MEDIUM
https://web.media.mit.edu/~mres/paper...

Changing Minds:
https://mitpress.mit.edu/978026254132...