Repository navigation

`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

`copilot-theorem:` Fix multiple typos in README. Refs #560.#558
eltociear wants to merge 2 commits into
Copilot-Language:masterfrom
eltociear:patch-1

Commits on Oct 31, 2024
- copilot-theorem: update README.md
  eltociear
  authored
  b88b257
Commits on Dec 20, 2024
- `copilot-theorem:` Fix typo in README.
  eltociear
  authored
  973ae14