Skip to content

assumption? - #281

Open
jalex-stark wants to merge 7 commits into
leanprover-community:masterfrom
jalex-stark:assumption-question-mark
Open

assumption?#281
jalex-stark wants to merge 7 commits into
leanprover-community:masterfrom
jalex-stark:assumption-question-mark

adds test output for `assumption?` and fixes tests relying on assumpt…

6d0ec36
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs