Benjamin Gurevitch
- 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]: source author — Gurevitch
- $: credited contributor — Gurevitch
Sources
- formalization-acknowledgment: Line 7 names Benjamin Gurevitch (@Benjamin-Gurevitch), links the GitHub account, and credits help with T03 and its returned-case formalization.
- public-profile: Public GitHub profile checked 2026-10-21: login Benjamin-Gurevitch, name Benjamin Gurevitch, type User.
- bibliography: [Ahmed 11SquaresFormalized 2026], authors[3], prints Gurevitch; the note names Benjamin Gurevitch and his T03 role.
Identity evidence
- Public name: Benjamin Gurevitch (formalization-acknowledgment, public-profile)
- Family name: Gurevitch (formalization-acknowledgment, bibliography)
- Real name: Benjamin Gurevitch (formalization-acknowledgment, public-profile)
- Also known as: Gurevitch, Benjamin-Gurevitch (formalization-acknowledgment, bibliography)
- Public websites: https://github.com/Benjamin-Gurevitch (formalization-acknowledgment, public-profile)