pmocz / noether

git clone https://github.com/pmocz/noether.git

Automatically prove mathematical statements about your jax code in lean

—

stars, 24h

—

stars, 7 days

—

stars, 30 days

53

★ total

0

forks · 0 open issues

Star history starts 2026-10-20; the chart appears after the second daily snapshot.

LanguagePython

LicenseApache-2.0

Created2026-08-06 (2mo ago)

Last push2mo ago

OwnerUser

Links

GitHub: github.com/pmocz/noether
Releases · Issues · Hacker News mentions