Add (propositional) equational reasoning combinators for vectors#2067

Merged

MatthewDaggitt merged 20 commits intoagda:masterfrom

shhyou:vec-equational-reasoning-rebased

Oct 5, 2023

Commits on Sep 15, 2023

Add combinators for equational reasoning of vector
shhyou
committed

Commits on Oct 3, 2023

review: open ≡-Reasoning locally to avoid renaming CastReasoning
shhyou
committed