Skip to content

feat: add --help and --all-theorems command line options#33

Closed
robsimmons wants to merge 9 commits into
masterfrom
rob-v4.29.0
Closed

feat: add --help and --all-theorems command line options#33
robsimmons wants to merge 9 commits into
masterfrom
rob-v4.29.0

better error message

b34b61b
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar