𝖬𝖺𝗁𝖽𝗂 𝖢𝗁. (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
加入 June 2008
753 正在关注 5.3K 粉丝
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.
显示更多
