6 Forks
69 Stars
69 Watchers

pebble-stark

A community-developed re-implementation of the Starkware Stone Prover

How to download and setup pebble-stark

Open terminal and run command
git clone https://github.com/thor314/pebble-stark.git
git clone is used to create a copy or clone of pebble-stark repositories. You pass git clone a repository URL.
it supports a few different network protocols and corresponding URL formats.

Also you may download zip file with pebble-stark https://github.com/thor314/pebble-stark/archive/master.zip

Or simply clone pebble-stark with SSH
git@github.com:thor314/pebble-stark.git

If you have some problems with pebble-stark

You may open issue on pebble-stark support forum (system) here: https://github.com/thor314/pebble-stark/issues