Proof-generator Packages