Initial version of theory of array support!#309

Open

RobinWebbers wants to merge 2 commits intolsrcz:mainfrom

RobinWebbers:main

Commits on Dec 24, 2025

Initial version of theory of array support! It has some caveats still. :) This requires a version of SBV that is not yet on stackage (at the time of writing) and ruins backwards compatibility. Ther…
RobinWebbers
committed

Commits on Mar 11, 2026

Added typeclass common typeclass instances for symbolic arrays.
RobinWebbers
committed