REFINITY is a workbench for modeling statement-based program transformation rules using abstract programs, based on Abstract Execution. It provides GUI support for creating models, and sends proof obligations to the KeY program prover to prove correctness of the transformation model. Once created proof certificates can be saved and validated.

Extract Inkscape Layers to PDF files for LaTeX Beamer Presentations

Presentation of a script for using Inkscape as an editor for animations in LaTeX presentations.