jldodds/coq-lean-cheatsheet

Issues

• apply/eapply

  #6 opened 7 years ago by fpvandoorn
  0

• Add reference to specialize tactic?

  #5 opened 7 years ago by bmsherman
  1

• Add reference for `Proof using`

  #4 opened 7 years ago by bmsherman
  0

• Create a lean file with example uses of all tactics mentioned

  #2 opened 7 years ago by jldodds
  0