gmalecha/coq-ltac-iter

Issues

• Cleanup is possible in newer versions of Coq

  #9 opened 4 years ago by JasonGross
  0

• Last example of Iterating Premises

  #7 opened 5 years ago by zunction
  0

• Typo in README.md: leftover "run" keyword

  #4 opened 9 years ago by jeremie-koenig
  2

• build problems

  #3 opened 9 years ago by jonleivent
  2

• Add an option to filter hints with a given pattern

  #2 opened 9 years ago by jeremie-koenig
  1

• extend these iterators to other collections - like hypotheses, evars, etc.

  #1 opened 9 years ago by jonleivent
  2