I'm running OsX 15.1.1, and the 1.0 Mac version doesn't seem to work. It tells me that the program is 'damaged, and can't be opened'. There doesn't seem to be the option to override it in the security settings - which normally fixes this problem
https://itch.io/t/1849862/macos-coq-is-brokendamaged-solution