blam

cargo

Binary lambda calculus engine for algorithmic information theory: exhaustive term censuses, busy-beaver frontiers, exact Solomonoff/Kolmogorov measurements

0 audits github.com/a9lim/blam

Audits

No audits for this package yet.