abdelstark's picture
Document Circle STARK as the default proof workflow
810059e verified