Functional Correctness of an Optimized Modular Inversion Algorithm.

Assia Mahboubi, Guillaume Melquiond, Pierre-Yves Strub, Toms Vallejos Parada

Browse the full ITP paper archive.