Youtor
CoqStudy 08
YOUR LINK HERE:
http://youtube.com/watch?v=hvhQ0TchbwI
Induction.v (Part 1/3) — induction, induction hypothesis, • assert (..) as H, replace (..) with (..), • redex (outermost-leftmost) • rewrite myLemma with (..), • λ§μ μ κ΅νλ²μΉ/κ²°ν©λ²μΉ, • https://jhjeong.mindconnect.cc/CoqStudy
#############################
