Explore projects
-
-
UpdatedUpdated
-
-
Updated
-
-
Updated
-
CoqInterval provides tactics for simplifying the proofs of inequalities on expressions of real numbers for the Coq proof assistant.
Updated -
Just the pipeline to create the Docker images and to automatically provide latest MoReFEM version on macOS VM.
Updated -
Updated
-
-
Updated
-
Updated
-
-
-
A complete gitlab-ci pipeline example with a C++ project. Keywords: gitlabci, c++, cmake, static analysis, lint, sonarqube, pages, package, release, docker, macosx, windows, badges.
Updated -
Example of generating an html documentation from a few jupyter notebooks.
Updated -
Updated
-
Updated