Multi platform setup for Coq, Coq libraries and tools
Why do you think that https://github.com/blanchette/logical_verification_2021 is a good alternative to platform
Multi platform setup for Coq, Coq libraries and tools
Why do you think that https://github.com/blanchette/logical_verification_2021 is a good alternative to platform