This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
Gro-Tsen
gro-tsen.bsky.social
did:plc:tnde52rcbqxotp7a2cl7bmxu
Il y a trois jours, j'ai publié dans mon blog ⬇️ un très long billet sur la «réalisabilité propositionnelle» (vs le typage et la calculabilité). Comme personne ne va le lire, essayons de dire ici en quelques posts de quoi il est question. 🧵⤵️ •1/13 http://www.madore.org/~david/weblog/d.2024-02-11.2784.propositional-realizability.html#d.2024-02-11.2784
2024-02-14T19:10:52.464Z