Hear me out: Some international Mathematician association should create ASAP a site to get official certification of lean proofs for a fee + archiving of the submitted valid proofs. It's going to be total chaos real quick without something of that sort. 1/2
Researcher Urges Mathematicians to Launch Official Lean Proof Certification Site
1299385.1K
Original post unavailable.
Sentiment
Some users support launching a free Lean proof certification site with no fees, while others mock mathematicians for lacking Lean and facing ridicule from other fields.
Pos
50.0%
Neg
50.0%
2 comments with sentiment.
Cluster Engagement
Digg Deeper
No Digg Deeper questions have been answered for this story yet.
Posts from X
Most Activity
Most Activity
VIEWS4.3KBOOKMARKS8LIKES71RETWEETS2REPLIES9
The other fields stop laughing, it's your turn next except that you have no lean. 2/2
Hear me out: Some international Mathematician association should create ASAP a site to get official certification of lean proofs for a fee + archiving of the submitted valid proofs. It's going to be total chaos real quick without something of that sort. 1/2
@francoisfleuret Working on it! I don't think there should be any cost related to it, maybe there's a way to avoid charging people a fee.