A Critical Look at Lean4
Posted 44 minutes ago by
demibabs
1
points
https://www.lesswrong.com/posts/zHhGa3iQBQcdSifFL/a-critical-look-at-lean4-1
0
comments