TY  - RPRT
TI  - The Imandra Automated Reasoning System (system description)
AU  - Grant Olney Passmore
AU  - Simon Cruanes
AU  - Denis Ignatovich
AU  - Dave Aitken
AU  - Matt Bray
AU  - Elijah Kagan
AU  - Kostya Kanishev
AU  - Ewen Maclean
AU  - Nicola Mometto
PY  - 2020
UR  - https://arxiv.org/abs/2004.10263
ID  - 2004.10263
ER  -