Actuary
Formalization of the basic actuarial mathematics using Coq
22 stars
2 watching
3 forks
Language: Coq
last commit: 11 months ago actuarycoqmathcompssreflect
Actuary Formalization of the basic actuarial mathematics using Coq