HAL

A complete modal proof system for HAL: the Herbrand agent language

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element