|
|
|
|
|
|
by densh
98 days ago
|
|
|
For me Mathematica is much more akin to numpy+sympy+matplotlib+... with absolutely crazy amount of batteries included in a single coherent package with IDE and fantastic documentation. In a way numpy ecosystem already "won" industry users over, yet Wolfram stack is still appealing to me personally for small experiments. Coq/Lean target very different use cases. |
|
|