PackageCalculus/Extensions/Visibility · package-calculus · Tangled

ryan.freumh.org / package-calculus

The Package Calculus

package-calculus PackageCalculus Extensions Visibility

1 folder · 1 file

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

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

Definition.lean

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