
(library
  (name logtk_proofs)
  (public_name logtk.proofs)
  (synopsis "proofs for logtk")
  (libraries containers logtk logtk.arith)
  (flags :standard -w -32 -open Logtk_arith)
)



