Skip to content

Increase severity of uses 'sorry'. Fixes #276#305

Open
tautastic wants to merge 2 commits into
leanprover-community:mainfrom
tautastic:fix-276
Open

Increase severity of uses 'sorry'. Fixes #276#305
tautastic wants to merge 2 commits into
leanprover-community:mainfrom
tautastic:fix-276

Merge branch 'leanprover-community:main' into fix-276

2931bec
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs