fpottier/coq-iteration

Mathematical concepts related to iteration

Coq