← 최신 프로덕트

TypeScript as a proof assistant for intuitionistic propositional logic

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

gist.github.com 방문외부 사이트

반응 (1)

비슷한 프로덕트

설명이 비슷한 순

  1. Ezno

    github.com

    a TypeScript checker written in Rust, is now open source

    Hacker News113점

  2. Testeranto

    npmjs.com

    the AI driven test framework for TypeScript projects

    Hacker News22점

  3. Automock

    github.com

    Open-Source Project for Simpler Unit Testing in TypeScript

    Hacker News11점

  4. Deslop

    github.com

    Oxlint rules for AI-generated TypeScript

    Hacker News32점

  5. RΞASON

    tryreason.dev

    Open-source TypeScript framework for LLM apps

    Hacker News16점