Skip to content

Version 0.12-CoCalc
Compare
Choose a tag to compare
@nvcleemp nvcleemp released this 11 Sep 13:47
· 18 commits to master since this release
0.12-CoCalc
b42e7e0
  • Use precomputed values for theory
  • Dynamic memory allocation (removes the arbitrary limits on numbers of objects, invariants, and properties)
Assets 2