The animations need JavaScript. This looks like a file preview. Open the file in a web browser such as Safari, Chrome or Firefox instead.
Pick a theorem and watch it unfold.
No animations match your search.