induction(Lean)
#Fleeting_Notes
induction(Lean)
帰納法
Reference:
https://lean-lang.org/doc/reference/latest/Tactic-Proofs/Tactic-Reference/#induction
Lean by Example:
induction: 帰納法 - Lean by Example
確認用
Q. induction(Lean)
調査用
Google.icon
induction(Lean)(日)
Google.icon
Induction(lean)(英)
Wikipedia.icon
induction(Lean) - Wikipedia(日)
induction(Lean)(検索) - Wikipedia(日)
Wikipedia.icon
Induction(lean) - Wikipedia(英)
Induction(lean)(検索) - Wikipedia(英)