Programs and proofs: A molecular toolchain