Skip to content

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

2931bec
Select commit
Loading
Failed to load commit list.
Open

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

Merge branch 'leanprover-community:main' into fix-276
2931bec
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs