Vitalsource Technologies, Inc. Adapting Proofs-as-programs