llmlean
LLMs + Lean, on your laptop or in the cloud
of 2 packages depending on cmu-l3/llmlean
1-2Sort by
Package Name
math-xmum/GameTheoryuses
77448d6
lean-ja/Lean by Exampleuses
13ab390
プログラミング言語であるとともに定理証明支援系でもある Lean 言語と、その主要なライブラリの使い方を豊富なコード例とともに解説した資料です。