𝖬𝖺𝗁𝖽𝗂 𝖢𝗁. (bluesky:@mahdi.ch)(@mahdi_tcs_):It's time to normalize Lean formalization of theoretical papers. This'll significantly speed up review process (no worry about proof correctness) & until AI does it with a push of a button, you can take credit for formalizing your/others papers on Git, like software engineers do.

𝖬𝖺𝗁𝖽𝗂 𝖢𝗁. (bluesky:@mahdi.ch)

@mahdi_tcs_

CS prof@ U. Michigan-Ann Arbor. Opinions are mine & may evolve. r/t≠endorsement. I don't interact w/ anonymous accounts. Moving to Bluesky: @mahdi.ch he/him/his

Joined June 2008

753 Following 5.3K Followers

𝖬𝖺𝗁𝖽𝗂 𝖢𝗁. (bluesky:@mahdi.ch)@mahdi_tcs_

2026.08.09 15:36

It's time to normalize Lean formalization of theoretical papers. This'll significantly speed up review process (no worry about proof correctness) & until AI does it with a push of a button, you can take credit for formalizing your/others papers on Git, like software engineers do.