Multi platform setup for Rocq, Rocq libraries and tools - View it on GitHub