@CarinaLHong on Backlist

1 appearance on the backlist front page in the last 30 days.

1.

Lean-verified AxiomProver proofs accepted by two math journals

by @CarinaLHong (Carina Hong) · backlist 2026-05-09 · rubric 79.0