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
/
Complexity
3 files
at
main
Ryan Gibb
·
dependency visibility and remove redundant docstring theorem numbering which can get stale
·
2mo ago
d3c2b2a3
NPHardness.lean
dependency visibility and remove redundant docstring theorem numbering which can get stale
2mo ago
SATEncoding.lean
dependency visibility and remove redundant docstring theorem numbering which can get stale
2mo ago
ThreeSAT.lean
golf proofs
3mo ago
