Explore projects

Extensions of GNU Guix for high-performance computing.

Extensions of GNU Guix for high-performance computing.

Extensions of GNU Guix for high-performance computing.

CoqInterval provides tactics for simplifying the proofs of inequalities on expressions of real numbers for the Coq proof assistant.

A Coq formalization of real analysis compatible with the standard library.

Extensions of GNU Guix for high-performance computing.

Extensions of GNU Guix for high-performance computing.