Return to Article Details Genetic Algorithms in Coq: Generalization and Formalization of the crossover operator Download Download PDF