https://adam.math.hhu.de/#/g/hhu-adam/NNG4

日記感覚でleanについて学んだことをメモします.

※ここに書いてあることは全てこのリンク先のホームページに書かれていることです．

参考

https://leanprover.github.io/theorem_proving_in_lean4/dependent_type_theory.html

The Lean Theorem Prover(スライドで紹介されている)

https://myuon-myon.hatenablog.com/entry/2016/01/09/212750(日本語で紹介してくれてる人ページ) に

• メモ(日記)
• 1.introduction
• 2. Dependent Type Theory
• 3. Propositions and Proofs

https://sulfuric-mirror-42e.notion.site/Theorem-Proving-in-Lean-4-e0210dbd788b45c290571806c0d519fe