External Links

    Journal: Formalized Mathematics

    Volume 28, Issue 2

    129 -- 135Christoph Schwarzweller. Renamings and a Condition-free Formalization of Kronecker's Construction
    137 -- 154Sebastian Koch. Refined Finiteness and Degree Properties in Graphs
    155 -- 171Sebastian Koch. About Graph Unions and Intersections
    173 -- 186Sebastian Koch. Unification of Graphs and Relations in Mizar
    187 -- 196Artur Kornilowicz. Partial Correctness of a Fibonacci Algorithm
    197 -- 210Rafal Ziobro. Multiplication-Related Classes of Complex Numbers
    211 -- 215Karol Pak. Grothendieck Universes
    217 -- 225Dominik Kulesza, Adam Grabowski. Formalization of Quasilattices
    runs on