fbff9fd4

By: ValentinHirschi <valentin.hirschi@gmail.com>

add internal successor-closed scope proof primitive
GitHub
configure