[isabelle-dev] smt in the repository

Lawrence Paulson 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 mailing list