typos · objectionary/proof@66621a6

Triggered via push May 7, 2025 17:17

yegor256

master

Status Failure

Total duration 10s

Artifacts –

typos.yml

on: push

1 error and 10 warnings

Process completed with exit code 2.

typos: ./Extended/ARS.lean#L73

"hax" should be "hex".

typos: ./Extended/ARS.lean#L62

"tak" should be "take".

typos: ./Extended/ARS.lean#L59

"tak" should be "take".

typos: ./Extended/Record.lean#L119

"consequtive" should be "consecutive".

typos: ./Extended/Record.lean#L103

"consequtive" should be "consecutive".

typos: ./Minimal/Term.lean#L37

"Defition" should be "Definition".

typos: ./Extended/Confluence/Equivalence.lean#L136

"consequtive" should be "consecutive".

typos: ./Minimal/Term.lean#L21

"Defition" should be "Definition".

typos: ./Extended/Confluence/Equivalence.lean#L111

"consequtive" should be "consecutive".

typos: ./Extended/Term.lean#L10

"Defition" should be "Definition".