docs: technical specification for Rust rewrite (issue #120)#121

skulidropek wants to merge 1 commit intoProverCoderAI:mainProverCoderAI/docker-git:mainfrom

skulidropek:issue-120-rust-specskulidropek/docker-git:issue-120-rust-specCopy head branch name to clipboard