Define basic well-formedness of LFunc/Factory and prove WF of Boogie Factory#317
Merged
aqjune-aws merged 26 commits intomainfrom Jan 16, 2026
Merged
Define basic well-formedness of LFunc/Factory and prove WF of Boogie Factory#317aqjune-aws merged 26 commits intomainfrom
aqjune-aws merged 26 commits intomainfrom
Commits
Commits on Jan 12, 2026
- committed
- committed
- committed
- authored
- committed
- committed
- committed
- committed
- authored
- authored
- committed
