HN Explorer

OxfordCommand

↗ HN profile [ 16.4 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Corca raised a $7.8M seed led by NEA, NVenture to democratize math for everyone (twitter.com)
    3 points 0
  2. ArXivLean: How Well Can LLMs Formally Prove Research Math? (matharena.ai)
    3 points 0
  3. Ultimate Linear Algebra Cheat Sheet (corca.app)
    1 points 0
  4. College Level Math Cheat Sheets (corca.app)
    2 points 1
  5. Harvard Admission Exam 1869 – Algebra (corca.app)
    8 points 2