ProviolaThe Proviola is a tool set for generating a dynamic (HTML + JavaScript) page out of a Coq proof script. The generated page can be used to display proof states without having the reader load the script into a proof assistant instance, giving a considerable advantage over browsing a repository of static files.The script below is a minimal example of a movie generated using the Proviola. Point to the
