๐ฌ๐บ๐๐ฝ๐ ๐ข๐. (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
753 Following 5.3K Followers
The what now?!
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.
Show more
