More typos found by Claude Code #1626

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Merged

prabau merged 14 commits into main from typoproperties

Feb 13, 2026

Collaborator

felixpernegger commented Feb 11, 2026 •

edited

Loading

Again, I checked all of these manually. (!)

FYI, it seems like Claude really doesnt go systematically over these and is behaving very strangely. (the one it found, again, checked are are good to fix).

felixpernegger added 2 commits

February 11, 2026 16:29


          typos

0e4674a


          remove typo file

8243cc1

felixpernegger added the cleanup label


          typos

felixpernegger changed the title ~~Typos in properties found by Claude Code~~ Typos in properties and theorems found by Claude Code

felixpernegger added 2 commits

February 11, 2026 23:58


          Typos in theorems found by Claude Code (#1625)

2998e34


          more typos

43f1eb8

felixpernegger changed the title ~~Typos in properties and theorems found by Claude Code~~ More typos found by Claude Code

felixpernegger added 4 commits

February 12, 2026 00:26


          Merge branch 'main' into typoproperties

125c9f7

dot

ec28fc2


          one more grammar mistake

634129e


          more typos in theorems

1b23671

prabau reviewed

View reviewed changes

spaces/S000046/properties/P000056.md Outdated Show resolved Hide resolved

prabau reviewed

View reviewed changes

properties/P000151.md Outdated Show resolved Hide resolved


          Apply suggestions from code review

d2b2ab3

Co-authored-by: Patrick Rabau <70125716+prabau@users.noreply.github.com>

prabau reviewed

View reviewed changes

spaces/S000008/properties/P000089.md Outdated Show resolved Hide resolved

prabau reviewed

View reviewed changes

spaces/S000009/properties/P000089.md Outdated Show resolved Hide resolved

prabau reviewed

View reviewed changes

spaces/S000012/properties/P000089.md Outdated Show resolved Hide resolved

prabau reviewed

View reviewed changes

spaces/S000013/properties/P000089.md Outdated Show resolved Hide resolved


          Apply suggestions from code review

4bafb77

Co-authored-by: Patrick Rabau <70125716+prabau@users.noreply.github.com>

prabau reviewed

View reviewed changes

spaces/S000145/properties/P000086.md Outdated Show resolved Hide resolved


          Update P000086.md

033b91b

prabau reviewed

View reviewed changes

theorems/T000122.md Outdated Show resolved Hide resolved

prabau reviewed

View reviewed changes

theorems/T000181.md Outdated Show resolved Hide resolved

prabau reviewed

View reviewed changes

theorems/T000219.md Show resolved Hide resolved

prabau reviewed

View reviewed changes

theorems/T000284.md Show resolved Hide resolved

felixpernegger and others added 2 commits

February 13, 2026 00:46


          Update theorems/T000122.md

3a2e34d

Co-authored-by: Patrick Rabau <70125716+prabau@users.noreply.github.com>


          Update theorems/T000181.md

838284d

Co-authored-by: Patrick Rabau <70125716+prabau@users.noreply.github.com>

prabau approved these changes

View reviewed changes

prabau merged commit 1bf8e48 into main

1 check passed

prabau deleted the typoproperties branch

February 13, 2026 01:21

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels