← Latest products

Algebruh

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

Open source

8 stars · GitHubexternal site

Visit github.comexternal site

Reactions (1)

Similar products

by description similarity

  1. Salt

    salt-lang.dev

    a systems language with Z3 theorem proving in the compiler

    Hacker News44 pts

  2. Samosa

    samosa-math.vercel.app

    Linter for Math Derivations

    Hacker News13 pts

  3. val

    github.com

    An arbitrary precision calculator language

    Hacker News34 pts

  4. FastLanes based integer compression in Zig

    github.com

    integer compression library for Zig based on FastLanes

    Hacker News12 pts

  5. A Truth Table Generator Written in Common Lisp

    logic.manoel.dev

    Hacker News17 pts