search

Copilot-Language / copilot

A stream-based runtime-verification framework for generating hard real-time C code.
http://copilot-language.github.io
654 stars 55 forks source link

`copilot-theorem`: Typos in README #560

Open ivanperez-keera opened 2 hours ago

ivanperez-keera commented 2 hours ago

Description

The README in copilot-theorem includes several typos, such as proportionnal, occurences and latters.

Those typos should be corrected.

Type

Additional context

None.

Requester

Method to check presence of bug

By visual inspection, potentially using a spell checker for help. The typos are mixed with technical words, to spell checkers cannot automatically tell us with 100% certainty whether all typos have been fixed.

Expected result

The README of copilot-theorem contains no typos.

Desired result

The README of copilot-theorem contains no typos.

Proposed solution

Use a spell checker to find and fix all typos in copilot-theorem, being careful with technical terms that are correct but spell checkers do not understand, such as reification.

Further notes

None.

ivanperez-keera commented 2 hours ago

Change Manager: Confirmed that the issue exists.

ivanperez-keera commented 2 hours ago

Technical Lead: Confirmed that the issue should be addressed.