Curated FOSS Directory for Community and Discussion

Back skorotkiewicz/algebruh

algebruh

algebruh

4 011 HN points last commit 2026-08-08

Share:

Languages

Rust97.9%Nix1.1%Just1%

Contributors1

skorotkiewicz

No features listed.

Comments Theme

Install

Cargo

slug: algebruh

On Hacker News

Show HN: Algebruh - Cross-check arithmetic claims with Z3, cvc5, and Lean

11 points1 comments

Read the discussion

Sponsored

300 × 250 (IAB)

Sponsor

Sponsor

Sponsor

Sponsor

300 × 250 (IAB)

300 × 250 (IAB)

Sponsored

300 × 250 (IAB)

Sponsor

Sponsor

Sponsor

Sponsor

300 × 250 (IAB)

300 × 250 (IAB)