Zimmermann, T., Coolen, J., & Gross, J. (2020). Coqbot (Version 0.2.0) [Computer software]. https://github.com/coq/bot