Программы liblogic.sf.net

libLogic является библиотекой программного обеспечения для автоматизированной теоремы, доказывая с считается, чтобы быть непревзойденным способность правильно и эффективно доказать точно все доказуемые заявления в любой логич