A Critical Look at Lean4lesswrong.com
18 points by amanverasia 3 days ago | 1 comment