History of src/Model.thy on 974b16e2aca2567ecf0d3f566f3287566f49c530

974b16e2ac feat(model): prove optimiser idempotence and scope weakening

~james · 2 months ago

3ac5bae085 feat(compiler): add verified pixel compiler and templeos runner

~james · 2 months ago