(library
 (name proofs)
 (synopsis "Coq's Higher-level Refinement Proof Engine and Top-level Proof Structure")
 (public_name coq.proofs)
 (wrapped false)
 (libraries pretyping))