Coq tactics for certification of the results of SSL-based program synthesis via Iris logic.
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool