Dear Members of the Research Community,

An email on this topic (relevant for both philosophy and mathematics) is available at:
https://lists.cam.ac.uk/pipermail/cl-isabelle-users/2018-June/msg00048.html

Kind regards,

Ken Kubota

____________________

Ken Kubota
http://doi.org/10.4444/100