Imandra Protocol Language

A protocol-independent language for expressing system connectivity specifications. Machine-reasonable APIs for financial markets and beyond.