TY  - RPRT
TI  - Conjectures, Tests and Proofs: An Overview of Theory Exploration
AU  - Moa Johansson
AU  - Nicholas Smallbone
PY  - 2021
DO  - 10.4204/eptcs.341.1
UR  - https://arxiv.org/abs/2109.03721
ID  - 2109.03721
ER  -