An implementation of Botworld in Higher Order Logic
Standard ML
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
.gitignore
Holmakefile
README.md
botworldScript.sml
botworld_dataScript.sml
botworld_miscScript.sml
botworld_preambleScript.sml
botworld_propsScript.sml
botworld_quoteLib.sml
botworld_quoteScript.sml
botworld_serialiseScript.sml
botworld_svScript.sml
ffiExtScript.sml

README.md

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