AliceAndBob

AliceAndBob は Certora で検索と検証に取り組んでいるスタッフです。