A vector library specialized in the formalization of SPMD programs
-
Updated
Feb 15, 2019 - Coq
A vector library specialized in the formalization of SPMD programs
Add a description, image, and links to the spmd topic page so that developers can more easily learn about it.
To associate your repository with the spmd topic, visit your repo's landing page and select "manage topics."