Aws Albarghouthi
@awsTO
参加 October 2009
1K フォロー中 2.4K ファン
It took me a few hours to write a Lean formalization of the theorems and proofs in a recent paper of ours. I used Fable + 5.6 Sol. I found the exercise shockingly eye opening. I don't think we should publish papers without Lean proofs at this point.
もっと見る
