人気のtaciticが知りたいという要望がでたので
メモ
sqlite3 /home/aps/aps/aps-server/db/production.sqlite3 'SELECT file FROM answers' | ruby -e 'puts $<.read.scan(/\w+/)' <ans.txt | sort | uniq -c | sort -nr
ここから手作業でtacticだけ選ぶ。あと面白そうなのも残す
1506 apply 1272 auto 1116 rewrite 1016 destruct 881 intros 756 omega 541 assert 488 intro 452 simpl 424 exists 345 unfold 283 replace 267 induction 211 ring 150 split 130 case 110 left 108 right 102 elim 98 clear 90 inversion 88 False_ind 82 generalize 71 reflexivity 67 specialize 66 double 65 exact 58 trivial 56 set 50 repeat 49 tauto 49 remember 49 assumption 44 congruence 39 cut 37 contradict 34 cbv 33 absurd 33 I 32 ring_simplify 32 contradiction 31 Ltac 29 symmetry 27 pose 25 discriminate 25 compute 23 fold 22 field 19 try 19 eapply 18 do 18 change 17 revert 17 erewrite 13 intuition 13 constructor 12 dependent 11 subst 11 edestruct 10 transitivity 10 exist 10 compose 10 complete 9 fix 8 injection 8 idtac 8 eauto 8 case_eq 7 well_founded 7 prove_sup 7 pattern 7 elimtype 5 red 5 lazy 5 equality 5 decide 2 setoid_replace 2 fourier 2 cofix 1 field_simplify_eq 1 eexists 1 econstructor 1 cutrewrite