CompLib is a Python library to define and test properties of functions from natural numbers into natural numbers. It allows to easily create and test semi-deciders for recursively enumerable sets of functions. It is an handy library to experiment with some aspects of the Computability Theory.
PythonGPL-2.0
CompLib is a Python library to define and test properties of functions from natural numbers into natural numbers.
It allows to easily create and test semi-deciders for recursively enumerable sets of functions. It is an handy library to experiment with some aspects of the Computability Theory.