FriCAS Jupyter Kernel.
