interest free banking law at 1363 was implemented in the banking system in iran. one of the main goals of this law was eliminating usury from monetary system, and utilization from non-usury credit impact on economic growth through preferring money contribution in the capital. this paper uses data from years 1363 to 1386 and implementing herfindahl-hirschman index, evaluated and ranked concentra...

Cover, Credits and Table of Contents

Union-Find is a famous example of a simple data structure whose amortized asymptotic time complexity analysis is non-trivial. We present a Coq formalization of this analysis. Moreover, we implement Union-Find as an OCaml library and formally endow it with a modular specification that offers a full functional correctness guarantee as well as an amortized complexity bound. Reasoning in Coq about ...