PackageCalculus/Versions/Reduction · package-calculus · Tangled

ryan.freumh.org / package-calculus

The Package Calculus

package-calculus PackageCalculus Versions Reduction

2 files

Ryan Gibb · dependency visibility and remove redundant docstring theorem numbering which can get stale · 2mo ago

Correctness.lean

dependency visibility and remove redundant docstring theorem numbering which can get stale

Definition.lean