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
/
Extensions
/
VariableFormula
/
Lifting
4 files
at
dev
Ryan Gibb
·
mechanise lifting retractions for all extensions
·
3mo ago
7e34e5f6
Completeness.lean
unify theorem naming
4mo ago
Definition.lean
mechanise lifting retractions for all extensions
3mo ago
Retraction.lean
mechanise lifting retractions for all extensions
3mo ago
Soundness.lean
strengthen variable_formula_soundness to a domain-correct assignment
4mo ago
