_CoqProject

-R libraries                    CertiCoq.Libraries

-R theories/Compiler            CertiCoq.Compiler
-R theories/common              CertiCoq.Common
-R theories/Extraction          CertiCoq.extraction
-R theories/Glue                CertiCoq.Glue
-R theories/LambdaBoxMut        CertiCoq.LambdaBoxMut
-R theories/LambdaBoxLocal      CertiCoq.LambdaBoxLocal
-R theories/LambdaANF           CertiCoq.LambdaANF
-R theories/Codegen             CertiCoq.Codegen
-R theories/CodegenWasm         CertiCoq.CodegenWasm
-R theories/Runtime             CertiCoq.runtime

-R benchmarks                   CertiCoq.Benchmarks
-R plugin                       CertiCoq.Plugin
-I plugin
-R cplugin                      CertiCoq.VanillaPlugin
-I cplugin
-I benchmarks/metacoq_erasure
-I benchmarks/certicoq_pipeline

-R bootstrap/certicoqc/theories CertiCoq.CertiCoqC
-I bootstrap/certicoqc
-R bootstrap/certicoqchk        CertiCoq.CertiCoqCheck
-I bootstrap/certicoqchk