Actuary
Formalization of the basic actuarial mathematics using Coq
Possibly Available
About
FIAJ (Fellow of the Institute of Actuaries of Japan)
Evidence-backed skills
Repositories
Actuarial-Mathematics
Formalization of Actuarial Mathematics in Isabelle/HOL
opam-coq-archive
Archive for all Coq related OPAM packages organized in various repositories
Isabelle
This is the development version for Actuarial Mathematics in the Archive of Formal Proofs in Isabelle.
analysis
Mathematical Components compliant Analysis Library
Notes
Miscellaneous Notes
math-comp
Mathematical Components
platform
Multi platform setup for Coq, Coq libraries and tools
coq2html
An HTML documentation generator for Coq source files