Login
From:
Hey There Buddo!
(Uncensored)
subscribe
Using Lean like an External SMT Solver from Python | Hey There Buddo!
https://www.philipzucker.com/lean_smt/
links
backlinks
Roast topics
Find topics
Find it!
It seems that the only thing I don’t want to use Lean for is it’s main purpose. That tracks.
