Popular repositories Loading

1. mechanized-precision mechanized-precision Public

   Mechanized proofs of relative and absolute precision for floats, in Coq

   Coq 5

2. Bean Bean Public

   Berry 5

3. numerics-playground numerics-playground Public

   Assorted numerics experiments. Mirror of https://git.sr.ht/~mxf/numerics-playground

   Jupyter Notebook

4. NumFuzz NumFuzz Public

   OCaml