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
8 folders
·
2 files
at
dev
Ryan Gibb
·
fibred lookup theorems for solving reduced instances
·
3mo ago
90d896b0
Concurrent
make reduction helpers public, dedup conflict lifting inverses
3mo ago
Conflict
make reduction helpers public, dedup conflict lifting inverses
3mo ago
Feature
make reduction helpers public, dedup conflict lifting inverses
3mo ago
PackageFormula
make reduction helpers public, dedup conflict lifting inverses
3mo ago
PeerDependency
make reduction helpers public, dedup conflict lifting inverses
3mo ago
VariableFormula
make reduction helpers public, dedup conflict lifting inverses
3mo ago
Virtual
make reduction helpers public, dedup conflict lifting inverses
3mo ago
Visibility
dependency visibility and remove redundant docstring theorem numbering which can get stale
3mo ago
Lookup.lean
fibred lookup theorems for solving reduced instances
3mo ago
Singular.lean
init
5mo ago
