OKlibrary  0.2.1.6
LeanKernel.mac File Reference

Tests for computations of lean kernels. More...

Go to the source code of this file.


Detailed Description

Tests for computations of lean kernels.

Use by

oklib_load("OKlib/ComputerAlgebra/Satisfiability/Lisp/Autarkies/tests/LeanKernel.mac");

Definition in file LeanKernel.mac.