A Critical Look at Lean4

 (lesswrong.com)

2 points | by demibabs 2 hours ago

0 comments