ryan.freumh.org / package-calculus
The Package Calculus
Star
Fork 0
Watch
package-calculus PackageCalculus Extensions Feature Lifting
4 files
Completeness.lean
Definition.lean
Retraction.lean
Soundness.lean