The attached paper was published in CPP 2022 and seems to report an implementation of the types-to-sets mechanism that’s actually usable. Shouldn’t we be trying to take this forward?
https://dl.acm.org/doi/pdf/10.1145/3497775.3503674 Larry _______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
