Mczify

github.comtool

Library enabling Micromega arithmetic solvers to work when using Mathematical Components number definitions.

from

Coq

added

2026-10-10

likes

0

similar

1. ▲
   MathComp Extra github.com

   tool category #coq link ↗

   Extra material for the Mathematical Components library, including the AKS primality test and RSA encryption and decryption.

2. ▲
   uMath github.com

   tool category #micropython link ↗

   Computer Algebra for microcontrollers.

3. ▲
   Mathematical Components wiki github.com

   site category #coq link ↗
4. ▲
   MathComp Tutorial Materials github.com

   tool category #coq link ↗

   Source code for Mathematical Components tutorials.

5. ▲
   mcp-lisp github.com

   tool category #cl link ↗
   
6. ▲
   MemCAD github.com

   tool category #ocaml link ↗
   

Coq › Projects > Libraries: “Library enabling Micromega arithmetic solvers to work when using Mathematical Components number definitions.”