Botworld.HOL An implementation of Botworld in Higher Order Logic This research was supported as part of the Future of Life Institute (futureoflife.org) FLI-RFP-AI1 program, grant #2015-144121