Lambdaworks Platinum Prover

October 2, 2023 · View on GitHub

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