@misc{indiciaec7a4daf034fe,
  title = {The Imandra Automated Reasoning System (system description)},
  author = {Grant Olney Passmore and Simon Cruanes and Denis Ignatovich and Dave Aitken and Matt Bray and Elijah Kagan and Kostya Kanishev and Ewen Maclean and Nicola Mometto},
  year = {2020},
  url = {https://arxiv.org/abs/2004.10263},
  note = {Source identifier: 2004.10263}
}