LaTeX“带动画的 Powerpoint”

Question

最近，我看了这样一个视频：

http://www.youtube.com/watch?v=smEyHuQrBvg

这是一个相当不错的程序，其中的乳胶似乎是即时生成的，并且像某种“Powerpoint 演示文稿”一样工作。

有人知道这是什么程序吗？