/coq-tal

Formalization of Typed Assembly Language (TAL) in Coq

Primary LanguageCoqMIT LicenseMIT

Stargazers