ALISA

Automatic deductive synthesis of Lisp programs in the system ALISA

Keywords for this software

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