Popular repositories Loading

1. Actuary Actuary Public

   Formalization of the basic actuarial mathematics using Coq

   Coq 21 3

2. opam-coq-archive opam-coq-archive Public

   Forked from coq/opam

   Archive for all Coq related OPAM packages organized in various repositories

   OCaml

3. Actuarial-Mathematics Actuarial-Mathematics Public

   Formalization of Actuarial Mathematics in Isabelle/HOL

4. coq2html coq2html Public

   Forked from affeldt-aist/coq2html

   An HTML documentation generator for Coq source files

   OCaml

5. analysis analysis Public

   Forked from math-comp/analysis

   Mathematical Components compliant Analysis Library

   Coq

6. platform platform Public

   Forked from coq/platform

   Multi platform setup for Coq, Coq libraries and tools

   Shell