Lambdaworks Platinum Prover This repo is now deprecated. Platinum Stark and Cairo provers have been moved to the main Lambdaworks repository.
