PR !4#10594: feat: `fun_trans` function transformation ta...

Stream: triage

[Random Issue Bot]

Today I chose PR 10594 for discussion!

feat: fun_trans function transformation tactic e.g. for computing derivatives
Created by @Tomáš Skřivan (@lecopivo) on 2024-02-15
Labels: WIP, merge-conflict, t-meta

Is this PR still relevant? Any recent updates? Anyone making progress?