Nimnim


Description

Why should I be excited? Nim is the only language that leverages automated proof technology to perform a disjoint check for your parallel code.

Extracted automatically from Nim homepage
Homepage
http://nim-lang.org/
Version
Unavailable

Install Nim

brew install nim

Dependencies0

This formula has no dependencies.