馃殌 Feature Request
Right now move framework use lowercase, we need to update prelude.bpl for Vector operation and other operation. Let move prover pass.
Motivation
Is your feature request related to a problem? Please describe.
Pitch
Describe the solution you'd like
Describe alternatives you've considered
Are you willing to open a pull request? (See CONTRIBUTING)
Additional context
馃殌 Feature Request
Right now move framework use lowercase, we need to update prelude.bpl for Vector operation and other operation. Let move prover pass.
Motivation
Is your feature request related to a problem? Please describe.
Pitch
Describe the solution you'd like
Describe alternatives you've considered
Are you willing to open a pull request? (See CONTRIBUTING)
Additional context