mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-11-22 23:13:19 +00:00
2ef54182a3
`cairo-lang` is a general purpose language for provable computations using PCP (probabilistically checkable proofs — https://en.wikipedia.org/wiki/Probabilistically_checkable_proof) This is the v1 Rust-based compiler version of the project. |
||
|---|---|---|
| .. | ||
| default.nix | ||