PackageCalculus/Extensions/Virtual · package-calculus · Tangled

ryan.freumh.org / package-calculus

The Package Calculus

package-calculus PackageCalculus Extensions Virtual

2 folders · 1 file

at dev

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

virtual normal form

make reduction helpers public, dedup conflict lifting inverses

Definition.lean

virtual normal form