sledgehammer の HOL Light 版 http://mws.cs.ru.nl/~urban/ha1.ogv (http://mws.cs.ru.nl/~urban/ha1.mp4) http://mws.cs.ru.nl/~urban/2013-07-cicm.pdf http://cl-informatik.uibk.ac.at/users/cek/docs/kaliszyk-cicm13.pdf

現在では Portable Standard Lisp (PSL)，Codemist Standard Lisp (CSL) ともopenになりましたので，気軽に比較できます．最新版 mkdir ~/CAS export CAS=~/CAS cd $CAS svn co http://svn.code.sf.net/p/reduce-algebra/code/trunk reduce-algebra cd ./red…