Lean-Auto: An Interface Between Lean 4 and Automated Theorem Provers.

Yicheng Qian, Joshua Clune, Clark W. Barrett, Jeremy Avigad

Browse the full CAV paper archive.