-- Leo's gemini proxy
-- Connecting to gemini.omarpolo.com:1965...
-- Connected
-- Sending request
-- Meta line: 20 text/gemini;lang=en
# pkg_add ladr-dec
> Library for Automated Deduction Research
Maintainer: The OpenBSD ports mailing-list <ports at openbsd dot org>
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