Setup instructions in README lead to "package 'scilean' was required as 'leanblas'"

build error

proofwidgets dependency

`data_synth` infinite loop when decomposing projection function

`data_synth` unknown free variable bug

MLX backend

the outputs of `∂ ... rewrite_by fun_trans` and `∂!` are different

README's old harmonic oscillator example was good

`MetaLCtxM` and mvar depth

How to reshape?