A Critical Look at Lean4

 (lesswrong.com)

5 points | by amanverasia 8 hours ago

0 comments