Worth mentioning that many of the people on this project including Tom Hales jumped ship to Lean seeing as Mathematica needs an overhaul to accomodate a proof assistant.
Lean is the current project that is attracting attention from the math community for generating a computerized math heritage project - not Wolfram Inc.
1 comment
[ 0.30 ms ] story [ 14.8 ms ] threadLean is the current project that is attracting attention from the math community for generating a computerized math heritage project - not Wolfram Inc.