Displaying 1-2 of 2 packages depending on cmu-l3/llmlean
Sort by
  1. lean-ja/Lean by Exampleuses13ab390

    プログラミング言語であるとともに定理証明支援系でもある Lean 言語と、その主要なライブラリの使い方を豊富なコード例とともに解説した資料です。