Add goto-transcoder.md into summary#243

feliperodri merged 1 commit intomodel-checking:mainmodel-checking/verify-rust-std:mainfrom

rafaelsamenezes:patch-1rafaelsamenezes/verify-rust-std:patch-1Copy head branch name to clipboard