math-comp

2.6.0

Mathematical Components for the Coq proof assistant

Install

brew install math-comp

Architecture	Platforms	Version	Download
Apple Silicon	Golden Gate	2.6.0	File SHA-256 `503de4ee024d97a491445d8342e72833f97d00f5c0f2468a024dfd4fc5fba259`
Apple Silicon	Tahoe	2.6.0	File SHA-256 `26f8cd0e402f78528b55a57e2a8b6614e6285fafebb6088ef5e354f0799482c5`
Apple Silicon	Sequoia	2.6.0	File SHA-256 `f6d0bcf192c5b19c42e475bd27421a2447efdfea4821a568d970378e5d14a64b`
ARM64	Linux	2.6.0	File SHA-256 `158de638d733148861f3d3b97f373fedee7b71eb6f8fc8db1a5f212aad576221`
x86_64	Linux	2.6.0	File SHA-256 `ed398244a1bfcb8087fd44e5e66a87377384a2e4f687c118a1898e685ebb6880`