Rare find

ineqmath. Solving Inequality Proofs with Large Language Models.

github.com/lupantech/ineqmath
by @lupantech

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.