All Git Users → matthesjh

1 open source projects by matthesjh

[ Open user page on Github ]

Formalization of Typed Assembly Language (TAL) in Coq

✭ 15

Coq shell coq type-system tal

1-1 of 1 user projects