Up – Package index » logtk » Library logtk.proofs » Logtk_proofs » LLProof_conv

Module `Logtk_proofs.LLProof_conv`

logtk
- CHANGELOG
- README
- Library logtk
  - Logtk
- Library logtk.arith
  - Logtk_arith
- Library logtk.parsers
  - Logtk_parsers
- Library logtk.proofs
  - Logtk_proofs
- Sources

val conv : Logtk.Proof.t -> LLProof.t