SMT Lib 3 and LeanAuto

Stream: lean4

[Srivatsa Srinivas]

@Yicheng Qian

Has the new SMT Lib 3 language which supports dependent type theory had any effect on the development of LeanAuto?

[Yicheng Qian]

Currently not. The smt translation part of Lean-auto outputs smt-lib 2.6, and we currently don't have plans to support 3.

[Srivatsa Srinivas]

Thanks for the response and the good work