Work on the final semantic rule for equality#274
Draft
HuStmpHrrr wants to merge 9 commits intoext/prop-eqfrom feature/eq-soundness
+241-24
Commits
Commits on Dec 24, 2024
- committed
- committed
- committed
Commits on Dec 27, 2024
- committed
- committed
- committed
- committed
- committed
- committed