Explore projects

Example of a simple CI workflow under windows 10 using g++, cmake, ctest and gcovr

SIBR = SIBR core + ULR application

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