differentiation in SciLean

Stream: lean4

[Tomas Skrivan]

I wrote down some text about differentiation in SciLean it is a rough first draft but some feedback would be welcome. I have described only the core symbolic differentiation and mainly how to use it instead of how it works. Other topics like symbolic variational calculus and automatic differentiation is still work progress even on the code level.