mariovagomarzalHigherCategoryTheory0.1.0

A formal verification project based on the work by Enric Cosme Llópez on "Higher-order categories".
#math
Sort by
  1. Registry dependency.
    Found on Reservoir.

    subverso3a75ede

  2. Registry dependency.
    Found on Reservoir.

    checkdeclslean4.18.0

    Tiny Lean library to check existence of declarations
  3. Registry dependency.
    Found on Reservoir.

    doc-gen4v4.33.1

    Document Generator for Lean 4
  4. Registry dependency.
    Found on Reservoir.

    mathlibv4.33.1

    The math library of Lean 4