Cyncra
Results
1
comments of
Cyncra
Hey, is this really the time to worry about PRs? The rev you just pushed keeps repeating anonymous proving locally instead of submitting proofs.