All Stories

  1. Introduction to Graph Enumerations

    Article • Formalized Mathematics, September 2023, De Gruyter

    B.Sc. Sebastian Koch

  2. Introduction to Graph Colorings

    Article • Formalized Mathematics, July 2022, De Gruyter

    B.Sc. Sebastian Koch

  3. Extended Natural Numbers and Counters

    Article • Formalized Mathematics, October 2020, De Gruyter

    B.Sc. Sebastian Koch

  4. Miscellaneous Graph Preliminaries

    Article • Formalized Mathematics, April 2020, De Gruyter

    B.Sc. Sebastian Koch

  5. About Graph Complements

    Article • Formalized Mathematics, April 2020, De Gruyter

    B.Sc. Sebastian Koch

  6. Underlying Simple Graphs

    Article • Formalized Mathematics, October 2019, De Gruyter

    B.Sc. Sebastian Koch

  7. About Graph Mappings

    Article • Formalized Mathematics, October 2019, De Gruyter

    B.Sc. Sebastian Koch

  8. About Vertex Mappings

    Article • Formalized Mathematics, October 2019, De Gruyter

    B.Sc. Sebastian Koch

  9. Natural Addition of Ordinals

    Article • Formalized Mathematics, July 2019, De Gruyter

    B.Sc. Sebastian Koch

  10. About Supergraphs. Part III

    Article • Formalized Mathematics, July 2019, De Gruyter

    B.Sc. Sebastian Koch

  11. Some Remarks about Product Spaces

    Article • Formalized Mathematics, October 2018, De Gruyter

    B.Sc. Sebastian Koch

  12. About Supergraphs. Part II

    Article • Formalized Mathematics, July 2018, De Gruyter

    B.Sc. Sebastian Koch

  13. About Supergraphs. Part I

    Article • Formalized Mathematics, July 2018, De Gruyter

    B.Sc. Sebastian Koch

  14. Definition of quotient order and existence of ordered sequences in Mizar

    Article • Formalized Mathematics, July 2017, De Gruyter

    B.Sc. Sebastian Koch