_CoqProject

-arg -noinit
-arg -indices-matter

-R theories/ Trocq
-R elpi/ Trocq.Elpi
-R examples/ Trocq_examples

theories/HoTT_additions.v
theories/Hierarchy.v
theories/Param_Type.v
theories/Param_forall.v
theories/Param_arrow.v
theories/Common.v
theories/Param_trans.v
theories/Database.v
theories/Param.v
theories/Trocq.v
theories/Vernac.v
theories/Param_bool.v
theories/Param_nat.v
theories/Param_paths.v
theories/Param_sigma.v
theories/Param_prod.v
theories/Param_sum.v
theories/Param_option.v
theories/Param_vector.v
theories/Param_Empty.v
theories/Param_list.v

examples/artifact_paper_example.v
examples/N.v
examples/int_to_Zp.v
examples/flt3_step.v
examples/peano_bin_nat.v
examples/setoid_rewrite.v
examples/summable.v
examples/trocq_setoid_rewrite.v
examples/Vector_tuple.v
examples/misc.v
examples/nat_ind.v