A Critical Look at Lean4

 (lesswrong.com)

2 points | by demibabs 16 hours ago ago

No comments yet.