External Links

    Journal: J. Formalized Reasoning

    Volume 10, Issue 1

    1 -- 36James Chapman, Tarmo Uustalu, Niccolò Veltri. Formalizing Restriction Categories
    37 -- 49Daniel de Rauglaudre. Formal Proof of Banach-Tarski Paradox
    51 -- 66Ran Chen, Martin Clochard, Claude Marché. A Formally Proved, Complete Algorithm for Path Resolution with Symbolic Links
    67 -- 95Alexander Bagnall, Samuel Merten, Gordon Stewart. A Library for Algorithmic Game Theory in Ssreflect/Coq
    runs on