(coq.theory
(package Why3Bench-frama_c)
(name standard_algorithms.count.count_Why3_ide_vcg)
(theories count.A_Count Why3 count.Compound Why3.Cint Why3.Memory Why3.Qed count.Axiomatic count.Axiomatic1))
