Skip to content

MathCode v0.3.0

Latest
Latest

Choose a tag to compare

View all tags
@T3S1AMAX T3S1AMAX released this 25 Aug 01:41
v0.3.0
be1eecf

MathCode v0.3.0

Lean/Mathlib installation is now optional:

  • bash setup.sh --with-lean installs the complete package.
  • bash setup.sh --without-lean installs MathCode without Lean/Mathlib.
  • bash setup.sh --install-lean adds Lean/Mathlib later; approved local Lean use can also install it on first use.
Assets 7
Loading