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.
顯示更多
