3 ms·

I was expecting some math but there is only a norm, I would be more interested in how to transfer from advanced math to code. example : what would be a good cod

I was expecting some math but there is only a norm, I would be more interested in how to transfer from advanced math to code. example : what would be a good code abstraction for a Borel Space

vthommeret 6y ago
Thanks for the feedback. This is definitely oriented towards beginners but also love some more advanced examples. Math to Code is open source, so if you can express a solution with NumPy you can easily add new questions / I'm happy to take pull requests — https://github.com/vthommeret/mathtocode/blob/master/questions/011-frobenius-norm.md https://github.com/vthommeret/mathtocode/blob/master/questio...
_ouml_ 6y ago
@somethingsome If you want to turn arbitrary maths into code, you should take a look at interactive proof assistants. I'm a fan of https://leanprover-community.github.io/ https://leanprover-community.github.io/ It has Borel spaces: https://leanprover-community.github.io/mathlib_docs/measure_theory/borel_space.html https://leanprover-community.github.io/mathlib_docs/measure_...