TypeScript as a proof assistant for intuitionistic propositional logic
TypeScript as a proof assistant. GitHub Gist: instantly share code, notes, and snippets.
TypeScript as a proof assistant for intuitionistic propositional logic launched on March 31, 2025 with 17 votes, #1,077 of 7,215 launches that month and more than 90% of that year's launches. The site was still online in September 2026, 1 year on.
In plain words
TypeScript as a proof assistant for intuitionistic propositional logic is a tool that uses the TypeScript programming language to help construct and verify proofs in intuitionistic propositional logic. It is designed for students and researchers working with formal logic who want to leverage a familiar programming language for proof development. The tool stands out by combining TypeScript's type system with logical proof requirements, allowing users to write proofs as code that can be checked for correctness.
written from the facts on this page · September 2026
From the sources
Search Gists Search Gists Sign in Sign up You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert {{ message }} Instantly share code, notes, andfrom gist.github.com
Does a similar job
all alternatives →
TypeScript to GraphQL conversion tool with type inference2018 · github.com · ▲90Build Typed GraphQL Queries in TypeScript without the code generation - acro5piano/typed-graphqlify
Conway's Game of Life in TypeScript's type system2023 · github.com · ▲186TypeScript playground: https://www.typescriptlang.org/play?#code/KYDwDg9gTgLgBDAnmY...
Dependently typed language for proofs that you can implement in one day2021 · github.com · ▲138The cuteness implementation of a dependently typed language. - caotic123/PomPom-Language
Formalizing Principia Mathematica using Lean2025 · github.com · ▲188This project aims to formalize the first volume of Prof. Bertrand Russell’s Principia Mathematica using the Lean theorem prover. Throughout the formalization, I tried to rigorously follow Prof. Russell’s proof, with no or little added statements from my side, which were only necessary for the formalization but not the logical argument. Should you notice any inaccuracy (even if it does not necessarily falsify the proof), please let me know as I would like to proceed with the same spirit of rigour. Before starting this project, I had already found Prof. Elkind’s formalization of the Principia…
TypeScript 6.0Mar 2026 · typescriptlang.org · ▲156The Playground lets you write TypeScript or JavaScript online in a safe and sharable way.
Automatically interpret and validate nested natural logic arguments2017 · github.com · ▲53Automatically interpret and validate nested natural logic arguments based on rules of inference and propositional logic - ParhamP/Natural_Logic_Interpreter
More dev tools this month
the category →
open-source IDE for thoughtful software design. Contribute to devdotfast/whiteboard development by creating an account on GitHub.
Dev tools · 28d ago · github.com
Contribute to reladraw/reladraw development by creating an account on GitHub.
Dev tools · 26d ago · github.com
OpenBot▲362Grok Bot alternative: free, local, open-source, multiplayer
Dev tools · 23d ago · openbot.run
Talanoa▲346Hi HN, I’m a fullstack developer, and honestly, I’ve lost count of how many side projects I’ve worked on over the years. But one idea kept coming back to me: a different kind of email client. It first came to me in 2014: “What if we could handle emails more like conversations?” Every year, I’d revisit this concept in my “Build Notes.” Ten years later, no one had built exactly what I had in mind — so I finally decided to do it myself. That’s how Talanoa was born. I wanted something focused on people, not timelines. I was tired of marking messages as unread just to remember to reply later, or…
Dev tools · 21d ago · talanoa.email
CoreSpeed▲332One MCP for everything your agents need: apps, memory, tools
Dev tools · 29d ago · corespeed.io
Source: Show HN post ↗
Launched alongside, March 2025
the whole month →
Mimic Human Research & Save Findings in AI Knowledge Base
AI · 2025 · sider.ai
