lupantech/ineqmath - Gitstar Ranking

Gitstar Ranking

Users
Organizations
Repositories
Rankings

Sign in with GitHub

lupantech

Fetched on 2026/05/08 12:15

lupantech / ineqmath

Solving Inequality Proofs with Large Language Models. - View it on GitHub

https://ineqmath.github.io/

Star

58

Rank

463742

Released by @k0kubun in December 2014. Fork me on GitHub.