An implementation of a symbolic toolbox using SymPy. The dependencies are Octave, Python, and SymPy. Consult the SymPy website for details on how to install SymPy. Start Octave. At Octave prompt type ...

BLUF: This repo demonstrates the reduction pattern in runnable form under explicit bounds. It does not solve the Halting Problem, and it is not a safety certification tool for real autonomous systems.