Next button showing options that should be circular #44

Open

Labels

Milestone

Description

opened

Thankfully, we can't use them, because they would create circular proofs, but they are still given as options

to join this conversation on GitHub. Already have an account? Sign in to comment

No one assigned

None yet

No branches or pull requests