On the Formalization of Gamma Function in HOL

Publication
Journal of Automated Reasoning