Skip to the content.

Logipedia export system installation

Proof interoperability encyclopedia Logipedia documentation.

View on GitHub

Dependencies

opam
dedukti
ppx_deriving_yojson

Steps

make logipedia

Logipedia is maintained by Deducteam. This page was generated by GitHub Pages.