Leonardo

a symbolic maths REPL, running entirely in this tab