actor retweeted
A mathematical paper autoformalized for the first time: amazing work by @morph_labs, presented today at the Big Proof conference by @jdlichtman and @jessemhan.
I am very impressed by the blazing fast progress of the morph team. Especially by @LeyanPan and @critic_model.
This quoted post is unavailable.







