We present Metatheory, a comprehensive library for programming language foundations in Lean 4. The library features a modular framework for proving confluence of abstract rewriting systems using three ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results