No results found

Lean by Example

プログラミング言語であるとともに定理証明支援系でもある Lean 言語と、その主要なライブラリの使い方を豊富なコード例とともに解説した資料です。
#manual #reference #tutorial #japanese #cheatsheet
Sort by
  1. Git dependency.
    Found on Reservoir.

    mk-exercise97c8a35

    Simple and intuitive tool to manage exercises in textbooks written in Lean.
  2. Git dependency.
    Found on Reservoir.

    mdgend1585cb

    Tool to generate markdown files from lean files.
  3. Git dependency.
    Found on Reservoir.

    mathlibd3b4ea3

    The math library of Lean 4