| user: | kachnuv_ocasek |
| created: | November 25, 2010 |
| karma: | 2.1k |
| about: | A Ptáčeḳ |
| 1. | Why Lean?(leodemoura.github.io) |
| 2. | PyPSA 1.0 Is Here(docs.pypsa.org) |
| 3. | Algorithms for Decision Making(algorithmsbook.com) |
| 4. | Formalizing the proof of PFR in Lean4 using Blueprint(terrytao.wordpress.com) |