Displaying 1-12 of 12 dependencies of clt
Sort by
  1. batteries
    6d5e1c8

    The "batteries included" extended library for the Lean programming language and theorem prover
  2. Qq
    v4.12.0-rc1

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

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

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

  6. importGraph
    fb7841a

    Tool to analyse the import structure of lean projects.
  7. LeanSearchClient
    2ba60fa

  8. mathlib
    f7eb186

  9. MD4Lean
    5e95f47

  10. UnicodeBasic
    7afce91

  11. BibtexQuery
    0a294fe

  12. doc-gen4
    1b0072f