Open
Description
The goal of this task is to do the links for the file https://github.com/formal-land/coq-of-rust/blob/main/CoqOfRust/revm/revm_interpreter/instructions/bitwise.v
There is one similar link for the ADD instruction that is in https://github.com/formal-land/coq-of-rust/blob/main/CoqOfRust/revm/revm_interpreter/instructions/links/arithmetic.v