Awesome

Lambdaworks Platinum Prover

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