External Links

    Journal: J. Formalized Reasoning

    Volume 11, Issue 1

    1 -- 17Pierre Lescanne. Dependent Types for Extensive Games
    19 -- 41César A. Muñoz, Anthony J. Narkawicz, Aaron Dutle. A Decision Procedure for Univariate Polynomial Systems Based on Root Counting and Interval Subdivision
    43 -- 76Reynald Affeldt, Cyril Cohen, Damien Rouhling. Formalization Techniques for Asymptotic Reasoning in Classical Analysis
    runs on