src
contains the Ocaml APIimport
contains libraries translated into Dedukti,theory
contains Dedukti encodings of logics needed by files inimport
utils
contains scripts for interaction with logipediadocs
contains the documentationlogigen
contains the software that build the websiteinteroperability
contains software to translate proofsexport
contains the translated files