My experiments with group theory while learning Coq!