GitHub repository: sipa/safegcd-bounds
Primary language: Coq
Description: Bounds on divsteps iterations in safegcd