# The math/prover9/ladr port

## ladr-dec-2007p2 – Library for Automated Deduction Research

## Description

    Prover9, Mace4, and several related programs come packaged in a system
    called LADR (Library for Automated Deduction Research).

WWW: http://www.cs.unm.edu/%7Emccune/prover9/

Categories:
  lang/python math

## Library dependencies

## Build dependencies

- lang/python/2.7

## Run dependencies