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