GitHub repository: womackmark9167/platform
Description: Multi platform setup for Coq, Coq libraries and tools