Lewis
- Years active
- 2026
Resources
Repository11SquaresFormalizedgithub.com/Queuingtheorydotcom/11SquaresFormalized A Lean 4 formalization of that proof, trusting Lean's compiler for its certificates.
0 results
0 results · 0 records · 0 credits
Other reviewed records
- [Ahmed 11SquaresFormalized 2026]: credited contributor — Lewis
- $: credited contributor — Lewis
Sources
- formalization-acknowledgment: Line 5 names @ctjlewis and links the GitHub account separately from the EvolvingPrograms organization; it credits verification infrastructure and replay support.
- public-profile: Public GitHub profile checked 2026-10-21: login ctjlewis, name Lewis, type User. Its bio links EvolvingPrograms as an affiliation; no fuller name or surname is asserted.
- announcement-receipt: entities.user_mentions contains screen_name ctjlewis and display name Lewis followed by a flag emoji; the announcement thanks this account for aiding the formalization.
Identity evidence
- Public name: Lewis (public-profile, announcement-receipt)
- Also known as: ctjlewis (formalization-acknowledgment, public-profile)
- Public websites: https://github.com/ctjlewis, https://x.com/ctjlewis (formalization-acknowledgment, public-profile, github-social-crosslink, announcement-receipt)