PackageCalculus/Extensions/Virtual/Reduction · package-calculus · Tangled

ryan.freumh.org / package-calculus

The Package Calculus

package-calculus PackageCalculus Extensions Virtual Reduction

3 files

Ryan Gibb · make reduction helpers public, dedup conflict lifting inverses · 2mo ago

Completeness.lean

make reduction helpers public, dedup conflict lifting inverses

Definition.lean

virtual normal form

make reduction helpers public, dedup conflict lifting inverses