Added implementation of count trailing zeros function. - #177

Added implementation of count trailing zeros function.#177

miriampolzer merged 2 commits into

mit-plv:mastermit-plv/coqutil:masterfrom

klinashka:count-trailing-zerosklinashka/coqutil:count-trailing-zerosCopy head branch name to clipboard