https://github.com/starkware-libs/formal-proofs
History
Tip revision: 35613c65b6715601bbc0a550d52754f8e7d93e30 authored by Jeremy Avigad on 09 February 2023, 00:19:44 UTC
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

README.md

back to top