[isabelle-dev] smt in the repository
lp15 at cam.ac.uk
Tue May 26 17:09:03 CEST 2020
What is our policy on use of the smt method at the moment? Prohibited, frowned upon, okay? Getting rid of it can take a lot of work.
More information about the isabelle-dev