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
    17d740e

  3. mdgen
    a6f34a4

  4. batteries
    46fed98

    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
    2c39748

    White-box automation for Lean 4

  7. proofwidgets
    v0.0.42

    Helper toolkit for creating your own Lean 4 UserWidgets

  8. importGraph
    fb7841a

    Tool to analyse the import structure of lean projects.

  9. LeanSearchClient
    70883b9

  10. mathlib
    9801c67