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
/
Virtual
2 folders
·
1 file
at
dev
Ryan Gibb
·
make reduction helpers public, dedup conflict lifting inverses
·
3mo ago
8dc4a359
Lifting
virtual normal form
3mo ago
Reduction
make reduction helpers public, dedup conflict lifting inverses
3mo ago
Definition.lean
virtual normal form
3mo ago
