[isabelle-dev] Types to Sets

Lawrence Paulson lp15 at cam.ac.uk
Sun Mar 13 18:22:21 CET 2022

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?



More information about the isabelle-dev mailing list