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
/
Core
1 file
at
dev
Ryan Gibb
·
add normalization of dependencies to functional in name
·
4mo ago
6d621712
Definition.lean
add normalization of dependencies to functional in name
4mo ago
