This is the development repository for "Actuarial Mathematics" and related entries in the Archive of Formal Proofs of Isabelle.
- These entries are under development and subject to change.
- There may remain
sorry's in some theories. - All the materials, including pull requests and issues, should be written in English.
- If you'd like to contribute, feel free to send me an email.