Meta-theory formalization for a Total Expressive Assembly Language.
Work in progress. See Main.agda for repo overview.
H-Yulong/TEAL
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Meta-theory formalization for a Total Expressive Assembly Language.
Work in progress. See Main.agda for repo overview.