https://orcid.org/0000-0003-1558-2624 [email protected]
Sompo Himawari Life Insurance Inc. Tokyo, Japan FIAJ (Fellow of the Institute of Actuaries of Japan)
Yosuke Ito
Formalization of the basic actuarial mathematics using Coq
Yosuke-Ito-345
