{"name":"11SquaresFormalized","url":"https://midorreal.com/project/queuingtheorydotcom-11squaresformalized","repository":"https://github.com/Queuingtheorydotcom/11SquaresFormalized","description":"Lean formalization of the optimality proof of the 11 square packing","facts":{"language":{"value":"Lean","source":"https://github.com/Queuingtheorydotcom/11SquaresFormalized","checked":"7 Oct 2026"},"archived":{"value":"no","source":"https://github.com/Queuingtheorydotcom/11SquaresFormalized","checked":"7 Oct 2026"}},"stars":20.0,"score":{"verdict":"too_early","hype":97,"reality":30,"gap":67,"momentum":null,"confidence":40,"version":"score-1.0","rule":"verdict-1.0","calculated_at":"2026-10-07T22:00:00+00:00"},"early_read":{"estimate":true,"lean":"too_close","gap_low":27,"gap_high":78,"rule":"early-1.1"},"changes":[{"date":"2026-09-30T15:34:33+00:00","text":"Repository created","source":"https://github.com/Queuingtheorydotcom/11SquaresFormalized"}],"cite":"11SquaresFormalized is a GitHub project at https://github.com/Queuingtheorydotcom/11SquaresFormalized written mainly in Lean, described there as \"Lean formalization of the optimality proof of the 11 square packing\".","attribution":"Data from Mid or Real, https://midorreal.com/project/queuingtheorydotcom-11squaresformalized, checked 7 October 2026. Attribution with a link is required."}