Y Hacker News new | ask | show | jobs

user: kachnuv_ocasek created: 2010-11-25 karma: 2106 A Ptáčeḳ submissions: 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments Why Lean? 2 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments PyPSA 1.0 Is Here 1 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments Algorithms for Decision Making 5 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments Formalizing the proof of PFR in Lean4 using Blueprint 3 points | 0 comments 0 points | 0 comments