we are delighted to see @bcherny's update & #formalverification (we're working so hard on building) getting momentum!!!
PS: to ensure #correctness of your AI generated code / agent & its logic, you will need more than #lean SDK & skilful use of @claudeai π
3
128
Looking into the recent #NavierStokes debate, let us share our founder @guillaumeclaret's expert opinion π
For Navier-Stokes and upcoming conjectures, this is leading to a lot of work to verify theorems provers and some people are worried the AI found a breach in them.
But the formalization was the last step of the process, so I believe the proofs are right.
3
109
Ready for the further drill down of the #interactiveprovers family? #Rocq& #Lean are the main languages, let's see how they compare π
#Formalverification
2
47
We are particularly bullish on the 1st family π§βπ§βπ§ of #interactiveprovers and here is a further breakdown π
1
36
Adding to that foundation ππΌthis how #typescript was born piped.video/U6s2pdxebSo
1
74
no hints, just laying down some foundations πππ #java, a fascinating story of a language or how it all started piped.video/ZqGSg4b_cZA
1
94
