Search results

API: OPTIONS returns 422 with no CORS headers; unknown paths return 200 instead of 404

Status: Open.

#5 In AxiomMath/axiom-lean-engine;

· SSingh-07 opened on May 30, 2026

check tool: okay=true contradicts failed_declarations; tool_messages.errors always says "uses sorry"

Status: Open.

#4 In AxiomMath/axiom-lean-engine;

· SSingh-07 opened on May 30, 2026

verify_proof exploits

bugSomething isn't workingSomething isn't working

wontfixThis will not be worked onThis will not be worked on

Status: Open.

Bug

#2 In AxiomMath/axiom-lean-engine;

· jxin31415 opened on Feb 26, 2026