Search results
Jump to navigation
Jump to search
- ...ls/960643023006490684/1259770421046411285/1488737894943166604 Discord user mammillaria shared a Lean formalisation of the BMO 3 problem and its solution], which h ...023006490684/1259770421046411285/1488743526882738276 Confirmed in Lean by @mammillaria] using [https://aristotle.harmonic.fun/ Aristotle AI], [https://discord.com ...23 KB (2,843 words) - 17:44, 24 April 2026
- ** Discord user @mammillaria [https://discord.com/channels/960643023006490684/1239205785913790465/147232 ...10 KB (1,061 words) - 01:56, 17 April 2026
- ** Discord user mammillaria [https://discord.com/channels/960643023006490684/1239205785913790465/148068 ...9 KB (1,001 words) - 02:26, 17 April 2026
- ...ls/960643023006490684/1259770421046411285/1488737894943166604 Discord user mammillaria shared a Lean formalisation of the BMO 3 problem and its solution], which h ...13 KB (1,561 words) - 21:37, 3 May 2026