jupyter VS mathematica

6. Jupyter Jupyter is a collection of tools and applications designed for interactive computing and data visualization. At the heart of the Jupyter ecosystem is the Jupyter Notebook, an interactive web-based platform that allows you to create and share documents containing live code, equations, visualizations, and narrative text. It’s an excellent tool for exploratory data analysis, model prototyping, and creating reproducible data science workflows.

How cool. This motivated a quick search - this could be fun:

How to write your own kernel

https://jupyter-client.readthedocs.io/en/stable/kernels.html

All the language kernels (a lot of abandoned ones - the mariaDB one ('binder') will take a while to load but SQL in Jupyter!)

https://github.com/jupyter/jupyter/wiki/Jupyter-kernels

There are Jupyter kernels for Python, Mathics, Wolfram, R, Octave, Matlab, xeus-cling, allthekernels (the polyglot kernel). https://github.com/jupyter/jupyter/wiki/Jupyter-kernels

Not only there is. But it is only a simple Google search away... But to make it simpler... There are 3 😁 https://github.com/jupyter/jupyter/wiki/Jupyter-kernels

As it seems, this is not quite straight forward and manyusers have similar troubles.

Community maintained kernels : https://github.com/jupyter/jupyter/wiki/Jupyter-kernels

Derek Banas on YouTube is doing a "Python for Finance" course at ghe moment using Jupyter, and is making the files available. I believe he's done others too.Failing that, there's this Git repo: A gallery of interesting jupyter notebooks

The existence of https://github.com/robertylewis/mathematica makes me think it's more likely to go in the other direction, where you treat powerful tools as untrusted oracles which produce certificates that Lean then verifies.