1 search result for "author:"Yosuke Ito""

Showing 1 - 1
  1. coq-actuary

    No documentation

    Formalization of actuarial mathematics in Coq
    category:Mathematics/Real Calculus and Topology keyword:present value keyword:life tables keyword:annuities keyword:reserves keyword:actuarial mathematics logpath:Actuary date:2023-11-11
    Yosuke Ito
    2.6
    MIT
    Used by 0 other packages
    11 Nov 2023