Sign in
Join now
package-calculus
ryan.freumh.org
/
Star
Starred
Star
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
The Package Calculus
Star
Starred
Star
Something went wrong. Try again.
Fork
Eye filled
Watch
Watching
Watch
Overview
Overview
Issues
Issues
Pulls
Pulls
Pipelines
Pipelines
package-calculus
/
PackageCalculus
/
Composition
/
FeatureConcurrent
/
Reduction
3 files
at
dev
Ryan Gibb
·
drop maxHeartbeats overrides: dispatch cheap name-clash case first
·
3mo ago
16de14f9
Completeness.lean
drop maxHeartbeats overrides: dispatch cheap name-clash case first
3mo ago
Definition.lean
variable renames
4mo ago
Soundness.lean
dependency visibility and remove redundant docstring theorem numbering which can get stale
3mo ago
