Add rules for `det` and `logdet` of `Cholesky`#613

Merged

devmotion merged 9 commits intomainfrom dw/cholesky_det_logdet

May 18, 2022

+63-1

Commits on May 10, 2022

Commits on May 12, 2022

Commits on May 13, 2022

Merge branch 'main' into dw/cholesky_det_logdet
devmotion
authored

Commits on May 18, 2022