Explore projects
-
CoqInterval provides tactics for simplifying the proofs of inequalities on expressions of real numbers for the Coq proof assistant.
Updated -
A Coq formalization of real analysis compatible with the standard library.
Updated -
Rework of the website around the scientific community on "Term Rewriting" http://rewriting.loria.fr/.
Updated -
-
-
-
Updated
-
IUA Simulator
Updated -
-
Updated
-
GNU Guix packages of non-free HPC software, or free software depending on non-free software.
Updated -
GNU Guix packages of non-free HPC software, or free software depending on non-free software.
Updated -
-
-
Updated
-
-
Updated
-
-
CoqInterval provides tactics for simplifying the proofs of inequalities on expressions of real numbers for the Coq proof assistant.
Updated -
A Gaussian Random Field (GRF) generation library using Circulant Embedding method.
Updated