← Latest products

TypeScript as a proof assistant for intuitionistic propositional logic

TypeScript as a proof assistant. GitHub Gist: instantly share code, notes, and snippets.

Visit gist.github.comexternal site

Reactions (1)

Similar products

by description similarity

  1. Ezno

    github.com

    a TypeScript checker written in Rust, is now open source

    Hacker News113 pts

  2. A minimal TS library that generates prompt injection attacks

    prompt-injector.blueprintlab.io

    Experimental TypeScript library for generating AI security test conversations

    Hacker News33 pts

  3. Testeranto

    npmjs.com

    the AI driven test framework for TypeScript projects

    Hacker News22 pts

  4. Deslop

    github.com

    Oxlint rules for AI-generated TypeScript

    Hacker News32 pts

  5. Open-Source TypeScript Framework for AI Agents

    voltagent.dev

    VoltAgent

    Hacker News32 pts