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