← 최신 프로덕트

Algebruh

Cross-check arithmetic claims with Z3, cvc5, and Lean.

오픈소스

8 스타 · GitHub외부 사이트

github.com 방문외부 사이트

반응 (1)

비슷한 프로덕트

설명이 비슷한 순

  1. Salt

    salt-lang.dev

    a systems language with Z3 theorem proving in the compiler

    Hacker News44점

  2. Samosa

    samosa-math.vercel.app

    Linter for Math Derivations

    Hacker News13점

  3. val

    github.com

    An arbitrary precision calculator language

    Hacker News34점

  4. FastLanes based integer compression in Zig

    github.com

    integer compression library for Zig based on FastLanes

    Hacker News12점

  5. A Truth Table Generator Written in Common Lisp

    logic.manoel.dev

    Hacker News17점