Julian-JJ
- 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 — Julian-JJ
- $: credited contributor — Julian-JJ
Sources
- formalization-acknowledgment: Line 8 names @Julian-JJ, links the GitHub account, and calls the account a collaborator who worked on running the proof on an HPC cluster. No real name is asserted.
Identity evidence
- Public name: Julian-JJ (formalization-acknowledgment)
- Public websites: https://github.com/Julian-JJ (formalization-acknowledgment)