-- Leo's gemini proxy

-- Connecting to gemini.omarpolo.com:1965...

-- Connected

-- Sending request

-- Meta line: 20 text/gemini;lang=en

math/prover9/ladr v2007


# pkg_add ladr-dec

> Library for Automated Deduction Research


CVS Web

Port Homepage (WWW)


Maintainer: The OpenBSD ports mailing-list <ports at openbsd dot org>


Description


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

-- Response ended

-- Page fetched on Sat Jun 1 23:54:26 2024