OK, so the 'Reality Software Construction Kit' seems really a game construction kit. It would be nice to see the constructed games in HOL since they were sold with the kit.
Has anyone tried to use the it? The fact that it is maybe built with AMOS is a bit daunting to me.
|