The Package Calculus
package-calculus PackageCalculus.lean
4.8 kB · 90 lines
at dev