Library for creating reports from Imandra verification goals - View it on GitHub