Skip to content

feat: restore the Elm constraint tree, add representation coverage and fix type-system crashes - #44

Merged
MicroProofs merged 24 commits into
mainfrom
fixing-issues
Oct 24, 2026
Merged

feat: restore the Elm constraint tree, add representation coverage and fix type-system crashes#44
MicroProofs merged 24 commits into
mainfrom
fixing-issues

refactor: replace search budgets with one compile fuel counter

d47d277
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar