3 Commits

Author	SHA1	Message	Date
Collin Jackson	68f7a53737	noninteractive	2024-10-08 17:18:57 -07:00
Collin Jackson	4327e46bf3	feat!: Update README with latest naming, prompting for acceptance of terms, noninteractive mode, replace keep_proving with just_once (#5)	2024-10-03 15:31:23 -07:00
Collin Jackson	a49a35c191	feat: Initial check-in of prover CLI (#2)	2024-09-05 12:45:22 -07:00