Zulip Chat Archive
Stream: new members
Topic: Lean to Z3
gao (Oct 29 2018 at 06:46):
Recently I read the presention “From Lean to Z3”，I want to ask some questions，has lean integrated Z3 so far？
Andrew Ashworth (Oct 29 2018 at 22:50):
Nope
Andrew Ashworth (Oct 29 2018 at 22:51):
There used to exist some work towards this, but it is not compatible with the current version of Lean
gao (Oct 30 2018 at 01:17):
Thank you
Last updated: May 02 2025 at 03:31 UTC