No description
Bytecode | ||
Bytecode.lean | ||
lake-manifest.json | ||
lakefile.toml | ||
lean-toolchain | ||
Main.lean | ||
README.md |
bytecode
proof that an extremely basic bytecode compiler is sound
(maybe todo: main)
Bytecode | ||
Bytecode.lean | ||
lake-manifest.json | ||
lakefile.toml | ||
lean-toolchain | ||
Main.lean | ||
README.md |
proof that an extremely basic bytecode compiler is sound
(maybe todo: main)