Home

Awesome

Actuary

This is an experimental package where the basic part of actuarial mathematics is formalized using the Coq Proof Assistant.

Requirements

Building and installation instructions

The easiest way to install the latest released version is via opam:

opam repo add coq-released https://coq.inria.fr/opam/released
opam install coq-actuary

To instead build and install manually, do:

git clone https://github.com/Yosuke-Ito-345/Actuary.git
cd Actuary
make   # or make -j <number-of-cores-on-your-machine>
make install

Description of files in theories directory

Notice

Main changes from version 1.0 to version 2.0