{Libby} : Spring Proofs