2 ms·
The Wikipedia page on Julia says one of the original goals was that Julia could be used as a specification language. Does Julia already provide tools for formal
by PinkMilkshake 8y ago
The Wikipedia page on Julia says one of the original goals was that Julia could be used as a specification language. Does Julia already provide tools for formal verification?
- StefanKarpinski 8y agoThat seems likely to be an unfounded claim since that wasn't one of the original goals.