feat: define right congruence and prove its basic properties#265
Open
ctchou wants to merge 5 commits intoleanprover:mainfrom
Open
feat: define right congruence and prove its basic properties#265ctchou wants to merge 5 commits intoleanprover:mainfrom
ctchou wants to merge 5 commits intoleanprover:mainfrom
Commits
Commits on Jan 15, 2026
Commits on Jan 17, 2026
Commits on Jan 18, 2026
- committed