1 Forks
6 Stars
6 Watchers

rusty-krivine

Extended Krivine machine implemented in Rust.

How to download and setup rusty-krivine

Open terminal and run command
git clone https://github.com/gabriel-fallen/rusty-krivine.git
git clone is used to create a copy or clone of rusty-krivine 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 rusty-krivine https://github.com/gabriel-fallen/rusty-krivine/archive/master.zip

Or simply clone rusty-krivine with SSH
[email protected]:gabriel-fallen/rusty-krivine.git

If you have some problems with rusty-krivine

You may open issue on rusty-krivine support forum (system) here: https://github.com/gabriel-fallen/rusty-krivine/issues