This repository has been archived by the owner on Mar 29, 2024. It is now read-only.

Formal verification support #36

Open

yupferris opened this issue Nov 18, 2021 · 0 comments

Owner

yupferris commented Nov 18, 2021

Lots of ideas here, no time to write them down, will do so later :)

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.