Offline
day
week
OpenAI’s Navier-Stokes release included a Lean 4 formal proof
162 points
|
www.johndcook.com
|
ibobev
|
12hrs