Skip to content

First release

Latest
Latest

Choose a tag to compare

View all tags
@ankitku ankitku released this 06 Dec 17:43
· 3 commits to master since this release
1.0.0
cf7db38

Mechanizing the Metatheory of TAL-0 Language.
Proved soundness of type-system of the TAL-0 language as described in Greg Morrisett's paper "Typed Assembly Language"

Assets 2
Loading