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