References¶Here are the reference docs generated for Imandra's standard library and API: Standard Library API Docs