Sign in
Join now
package-calculus
ryan.freumh.org
/
Star
Starred
Star
0
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
The Package Calculus
Star
Starred
Star
0
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
Overview
Overview
Issues
Issues
Pulls
Pulls
Pipelines
Pipelines
package-calculus
/
PackageCalculus
/
Extensions
/
Concurrent
2 folders
·
1 file
at
dev
Ryan Gibb
·
make reduction helpers public, dedup conflict lifting inverses
·
3mo ago
8dc4a359
Lifting
mechanise lifting retractions for all extensions
3mo ago
Reduction
make reduction helpers public, dedup conflict lifting inverses
3mo ago
Definition.lean
mechanise lifting retractions for all extensions
3mo ago
