package-calculus
The Package Calculus
Star 0
Fork 0
Watch
package-calculus PackageCalculus Composition FeatureConcurrent
1 folder · 2 files
Reduction
Definition.lean
Types.lean