External Links

    Journal: J. Formalized Reasoning

    Volume 8, Issue 1

    1 -- 24Victor Magron, Xavier Allamigeon, Stéphane Gaubert, Benjamin Werner. Formal Proofs for Nonlinear Optimization
    25 -- 48Mitchell Buckley. A formal verification of the theory of parity complexes
    49 -- 91Olivier Savary Bélanger, Stefan Monnier, Brigitte Pientka. Programming type-safe transformations using higher-order abstract syntax
    93 -- 116Ferruccio Guidi. Verified Representations of Landau's "Grundlagen" in the lambda-delta Family and in the Calculus of Constructions
    runs on