41554 blogs · [ { "id": "01a08756-f885-702a-bb11-716dd4c06220", "title": "Kripke And Beth Semantics In Lean", "url": "https://boarders.github.ioposts/beth.html", "published_at": null }, { "id": "01a08756-f886-70d7-a778-238815b36ccd", "title": "The Halting Problem (part 1)", "url": "https://boarders.github.ioposts/halting1.html", "published_at": null }, { "id": "01a08756-f886-70d7-a778-238816a35bad", "title": "The Halting Problem (part 2)", "url": "https://boarders.github.ioposts/halting2.html", "published_at": null }, { "id": "01a08756-f886-70d7-a778-238817a0b51e", "title": "Locally Nameless", "url": "https://boarders.github.ioposts/locally-nameless.html", "published_at": null }, { "id": "01a08756-f886-70d7-a778-238818726e11", "title": "On Characterizing Nat in Agda", "url": "https://boarders.github.ioposts/peano.html", "published_at": null }, { "id": "01a08756-f886-70d7-a778-238818c2e552", "title": "Semantics of STLC in Agda", "url": "https://boarders.github.ioposts/stlc-semantics.html", "published_at": null }, { "id": "01a08756-f886-70d7-a778-23881998e11a", "title": "On Well-Founded Induction", "url": "https://boarders.github.ioposts/well_founded_induction.html", "published_at": null } ] posts Claim your blog

Blog · corpus.blog/blogs/boarders.github.ioposts/posts