Skip to content

feat(validate): EB010 non-trivial well-definedness conditions#52

Open
evdenis wants to merge 4 commits into
mainfrom
feat/wd-eb010
Open

feat(validate): EB010 non-trivial well-definedness conditions#52
evdenis wants to merge 4 commits into
mainfrom
feat/wd-eb010

feat(validate): surface EB010 well-definedness via --show-info

8935b70
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Build
succeeded Jun 14, 2026 in 30s