No results found

Lean by Example

コード例で学ぶ Lean 言語
Displaying 1-10 of 10 dependencies of Lean by Example
Sort by

  1. Cli
    2cf1030

  2. mk-exercise
    ee574d8

  3. mdgen
    a6f34a4

  4. batteries
    v4.12.0

    The "batteries included" extended library for the Lean programming language and theorem prover

  5. Qq
    v4.12.0-rc1

    Intuitive, type-safe expression quotations for Lean 4.

  6. aesop
    ff42052

    White-box automation for Lean 4

  7. proofwidgets
    v0.0.42

    Helper toolkit for creating your own Lean 4 UserWidgets

  8. importGraph
    v4.12.0

    Tool to analyse the import structure of lean projects.

  9. LeanSearchClient
    781bece

  10. mathlib
    655d653