gentoo.mahdi.cz

  

sci-mathematics:otter


An Automated Deduction System
http://www.cs.unm.edu/~mccune/otter/

otter-3.3-r4otter
downloadamd64 ~ppc ~x86 ~amd64-linux ~x86-linux ~ppc-macosgentoo