History log of /seL4-l4v-10.1.1/HOL4/src/tactictoe/examples/next_tac_demo
Revision Date Author Comments
# 2bfd77cc 04-Apr-2018 Thibault Gauthier <thibault.gauthier@uibk.ac.at>

tactictoe: interactive exploration