Paco v2.0.1

minkiminki released this 07 Feb 10:52

· 115 commits to master since this release

improve the pupto tactic to just take the lemma name without arguments to the lemma.
add the lemmas [u]paco{n}_mon_gen.

Assets 2