TyGuS / ssl-htt

Coq tactics for certification of the results of SSL-based program synthesis via Hoare Type Theory.

Geek Repo

Github PK Tool