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
·
2 files
at
dev
Ryan Gibb
·
fibred lookup theorems for solving reduced instances
·
2mo ago
90d896b0
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
Lookup.lean
fibred lookup theorems for solving reduced instances
2mo ago
Singular.lean
init
3mo ago
