alpha
Login
Join now
ryan.freumh.org
/
package-calculus
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
0
Eye filled
Watch
Watching
Watch
Overview
Overview
Issues
Issues
Pulls
Pulls
Pipelines
Pipelines
package-calculus
/
PackageCalculus
/
Extensions
8 folders
·
1 file
at
main
Ryan Gibb
·
make reduction helpers public, dedup conflict lifting inverses
·
2mo ago
8dc4a359
Concurrent
make reduction helpers public, dedup conflict lifting inverses
2mo ago
Conflict
make reduction helpers public, dedup conflict lifting inverses
2mo ago
Feature
make reduction helpers public, dedup conflict lifting inverses
2mo ago
PackageFormula
make reduction helpers public, dedup conflict lifting inverses
2mo ago
PeerDependency
make reduction helpers public, dedup conflict lifting inverses
2mo ago
VariableFormula
make reduction helpers public, dedup conflict lifting inverses
2mo ago
Virtual
make reduction helpers public, dedup conflict lifting inverses
2mo ago
Visibility
dependency visibility and remove redundant docstring theorem numbering which can get stale
2mo ago
Singular.lean
init
3mo ago
