Skip to content

feat(Logic): improvements to the inference system and congruence frameworks, with associated refactorings - #753

Merged
fmontesi merged 49 commits into
mainfrom
fmontesi/hml
Aug 3, 2026
Merged

feat(Logic): improvements to the inference system and congruence frameworks, with associated refactorings#753
fmontesi merged 49 commits into
mainfrom
fmontesi/hml

merge main

5310dfd
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar