You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
A from-scratch TypeScript DDAR geometry proof-checker (deductive database + algebraic reasoning, the symbolic method behind AlphaGeometry) that verifies olympiad proof steps against several resampl…
GRE Mathematics Subject Test study app on a fork of Anki — separate memory/performance/readiness scores with honest ranges. AGPL-3.0-or-later, credit Anki.