Actuary
Formalization of the basic actuarial mathematics using Coq
AI summary
Actuary software
Formalizes basic actuarial mathematics using Coq
- stars
- 21
- forks
- 3
- watching
- 2
Similar projects
Found by comparing what the projects do, not just their names.
Formal math proofs
A personal repository of formally verified mathematics using the Coq proof assistant
Math library
A Coq implementation of mathematical concepts from N. Bourbaki's Elements of Mathematics
Coq tutorials
Tutorials and materials for teaching Coq-based mathematical component development
Mathematics formalization library
Formalizes mathematics using the univalent point of view
Analysis library
A Coq proof-assistant library for real analysis and mathematical structures
Coq tutorial
Lecture notes and resources for learning the Coq proof assistant
Math Library
A collection of reusable mathematical components and algorithms implemented in Coq
Coq math library
A Coq library providing an alternative set of axioms and type class mechanisms for building and proving mathematical theorems.
Continuation calculus
Formalization of a calculus for structured continuations in Coq
Combinatorics library
Formalizes algebraic combinatorics and symmetric functions in Coq.
Math Library
A comprehensive library of formalized mathematical theories
Math library
A library of abstract interfaces for various mathematical structures to facilitate algebraic manipulation and type class-based reasoning in Coq
Formal Proof Lecture
An introductory course on floating-point numbers and formal proof using Coq
Geometry library
A formalization of geometry using the Coq proof assistant.
Algebra library
A Coq library providing algebraic data structures and algorithms
