• src contains the Ocaml API
• import contains libraries translated into Dedukti,
• theory contains Dedukti encodings of logics needed by files in import
• utils contains scripts for interaction with logipedia
• docs contains the documentation
• logigen contains the software that build the website
• interoperability contains software to translate proofs
• export contains the translated files