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.
더 보기
