LEAN

参考文献

• 米田の補題 の証明
  • Yoneda Lemma
• What is Lean - Lean Manual
  • ex. Dependent de Bruijn Indices - Lean Manual
    • De Bruijn index
• Lean
• Theorem Prover Leanの紹介 - Just $ A sandbox
• きりたん気ままにLeanで証明：単射と全射【VOICEROID実況】 - ニコニコ動画
  • 20220818_lean_natural_number_game
• GitHub - leanprover-community/mathlib: Lean mathematical components library