Skip to content

Make ChainRulesCore a weak dependency#445

Merged
jverzani merged 1 commit intomasterfrom
dw/chainrulescore
Sep 13, 2024
Merged

Make ChainRulesCore a weak dependency#445
jverzani merged 1 commit intomasterfrom
dw/chainrulescore

Commits

Commits on Sep 13, 2024