https://github.com/starkware-libs/formal-proofs
Tip revision: 35613c65b6715601bbc0a550d52754f8e7d93e30 authored by Jeremy Avigad on 09 February 2023, 00:19:44 UTC
add verification of range check builtin
add verification of range check builtin
Tip revision: 35613c6
File | Mode | Size |
---|---|---|
src | ||
.gitignore | -rw-r--r-- | 29 bytes |
README.md | -rw-r--r-- | 5.4 KB |
leanpkg.toml | -rw-r--r-- | 243 bytes |