Skip to content

copilot-theorem: Fix multiple typos in README. Refs #560. - #558

Closed
eltociear wants to merge 2 commits into
Copilot-Language:masterfrom
eltociear:patch-1
Closed

eltociear wants to merge 2 commits into
Copilot-Language:masterfrom
eltociear:patch-1

`copilot-theorem:` Fix typo in README.

973ae14
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs