tromp / AIT

Algorithmic Information Theory, using Binary Lambda Calculus
134Updated 2 weeks ago

Related projects

Alternatives and complementary repositories for AIT