DOKK / manpages / debian 12 / cadabra2 / cadabra-server.1.en
CADABRA-SERVER(1) CADABRA-SERVER(1)

cadabra-server - the server backend for running Cadabra2 notebooks

cadabra-server

On starting cadabra-server, it will print a port number on stdout, where connections to the cadabra kernel can be made. All interaction with the server is through that port on the localhost interface.

cadabra2-gtk(1),cadabra2(1)

See the web page at https://cadabra.science/ for more information and up-to-date sample notebooks.

Kasper Peeters <info@cadabra.science>

January 22, 2019