Iris
from
RustBelt
https://iris-project.org/
Coq
上のフレームワーク