Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
feat!: Update README with latest naming, prompting for acceptance of …
…terms, noninteractive mode, replace keep_proving with just_once (#5)
- Loading branch information