Verifying Kostant's conjecture using Semisimple.jl

This post concerns Semisimple.jl, a Julia package for computations with semisimple Lie algebras. There is documentation. Over on the HomogeneousTools blog I wrote a post titled Verifying Kostant’s conjecture using Semisimple.jl, which describes a fun way to use computer algebra to experiment with conjectures.