Displaying 1-8 of 8 dependencies of tutorial
Sort by
  1. batteries
    e6d3a32

    The "batteries included" extended library for the Lean programming language and theorem prover
  2. Qq
    71f5442

    Intuitive, type-safe expression quotations for Lean 4.
  3. aesop
    c792cfd

    White-box automation for Lean 4
  4. proofwidgets
    v0.0.41

    Helper toolkit for creating your own Lean 4 UserWidgets
  5. Cli
    2cf1030

  6. importGraph
    57bd206

    Tool to analyse the import structure of lean projects.
  7. mathlib
    9d7806d

  8. base
    6517bc9