prover أمثلة على

• Started in 1971 at Edinburgh, Scotland, this was a fully automatic theorem prover built using Pure Lisp.
  بدأت في عام 1971 في أدنبره، اسكتلندا، وكان هذا برهان للنظرية بالكامل حيث طورت وصممت باستخدام لغة البرمجة ليسب.