com.github.skozlov:turing-math00 (maven): Arithmetical programs which are specific for the "n to n" encoding
Keywords: turing-machine