search

coq / platform

Multi platform setup for Coq, Coq libraries and tools
Creative Commons Zero v1.0 Universal
188 stars 49 forks source link

Removing parts of the readme referring to apple silicon #444

Closed rtetley closed 3 weeks ago

rtetley commented 3 weeks ago

Closes #404