There are no reviews yet. Be the first to send feedback to the community and the maintainers!
Repository Details
This is the mechanization of the semantics presented in "Decoding Lua: Formal Semantics for the Developer and the Semanticist", extended with garbage collection.
