coq/test-suite/coq-makefile/native2/_CoqProject, branch master The formal proof system Document coq_makefile behavior wrt -native-compiler yes 2020-03-16T10:43:43+00:00 Pierre Roux 2020-03-12T21:47:03+00:00 57bc1b7921da4ae54ee5d3b999351f297556fd65