I would like to modify a Mathlib function (into a different one) and use it from R.
The function has many Mathlib dependencies.
Currently, I access these functions via R's core packages using :::.
One option is to include the nmath library in a custom R package.
What's the best way to achieve this?
Thank you, Gilad