_CoqProject

-arg -w -arg -projection-no-head-constant
-arg -w -arg -redundant-canonical-projection
-arg -w -arg -notation-overridden
-arg -w -arg -ambiguous-paths
-arg -w -arg -notation-incompatible-format

lib/ssrZ.v
lib/ssrR.v
lib/Reals_ext.v
lib/logb.v
lib/Ranalysis_ext.v
lib/ssr_ext.v
lib/f2.v
lib/ssralg_ext.v
lib/bigop_ext.v
lib/Rbigop.v
lib/natbin.v
lib/binary_entropy_function.v
lib/num_occ.v
lib/hamming.v
lib/poly_ext.v
lib/euclid.v
lib/dft.v
lib/vandermonde.v
lib/classical_sets_ext.v
probability/fdist.v
probability/proba.v
probability/fsdist.v
probability/convex.v
probability/convex_equiv.v
probability/convex_stone.v
probability/jfdist.v
probability/graphoid.v
probability/jensen.v
probability/ln_facts.v
probability/divergence.v
probability/variation_dist.v
probability/log_sum.v
probability/partition_inequality.v
probability/pinsker.v
probability/necset.v
probability/bayes.v
information_theory/source_code.v
information_theory/entropy.v
information_theory/chap2.v
information_theory/channel.v
information_theory/pproba.v
information_theory/channel_code.v
information_theory/erasure_channel.v
information_theory/binary_symmetric_channel.v
information_theory/aep.v
information_theory/typ_seq.v
information_theory/types.v
information_theory/jtypes.v
information_theory/conditional_divergence.v
information_theory/source_coding_fl_direct.v
information_theory/source_coding_fl_converse.v
information_theory/channel_coding_direct.v
information_theory/joint_typ_seq.v
information_theory/error_exponent.v
information_theory/success_decode_bound.v
information_theory/channel_coding_converse.v
information_theory/kraft.v
information_theory/shannon_fano.v
information_theory/string_entropy.v
information_theory/convex_fdist.v
information_theory/source_coding_vl_direct.v
information_theory/source_coding_vl_converse.v
ecc_classic/linearcode.v
ecc_classic/decoding.v
ecc_classic/mceliece.v
ecc_classic/cyclic_code.v
ecc_classic/poly_decoding.v
ecc_classic/hamming_code.v
ecc_classic/repcode.v
ecc_classic/grs.v
ecc_classic/reed_solomon.v
ecc_classic/bch.v
ecc_classic/alternant.v
ecc_modern/subgraph_partition.v
ecc_modern/tanner.v
ecc_modern/tanner_partition.v
ecc_modern/summary.v
ecc_modern/checksum.v
ecc_modern/summary_tanner.v
ecc_modern/ldpc.v
ecc_modern/ldpc_algo.v
ecc_modern/ldpc_algo_proof.v
ecc_modern/ldpc_erasure.v
ecc_modern/max_subset.v
ecc_modern/stopping_set.v
ecc_modern/degree_profile.v
toy_examples/expected_value_variance.v
toy_examples/expected_value_variance_ordn.v
toy_examples/expected_value_variance_tuple.v
toy_examples/conditional_entropy.v

-R . infotheo