MuOperator

CS • Finance • Logic

I write here about Computer Science, Finance, and Theorem proving. I also showcase some experiments.

Live tools

  • sItô: A compiler and simulator for parametric stochastic differential equations with automated derivatives calculations.

Latest