External Links

    Journal: J. Formalized Reasoning

    Volume 12, Issue 1

    1 -- 10Ranganathan Padmanabhan, Yang Zhang. Commutativity Theorems in Groups with Power-like Maps
    11 -- 51Fabio Alessi, Alberto Ciaffaglione, Pietro Di Gianantonio, Furio Honsell, Marina Lenisa, Ivan Scagnetto. LF+ in Coq for "fast and loose" reasoning
    53 -- 97Raphaël Rieu-Helft. A Why3 proof of GMP algorithms
    runs on