com.github.skozlov:turing-math (maven): Arithmetical programs working right for both supported encodings of numbers
Keywords: turing-machine