Skip to content

clean up div_mod.v

Sergey Bozhko requested to merge sbozhko/rt-proofs:clean_up into master
  • remove file util.counting.v since lemma count_filter_fun is equivalent to ssreflect's size_filter
  • add comments in file div_mod.v

Merge request reports