Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Applications to medicine

Email Gateway (Aug 22 2022 at 18:09):

From: José Manuel Rodriguez Caballero <josephcmac@gmail.com>
Hello, I would appreciate any published reference about the applications of
proof assistants to medicine (I'm mainly interested in oncology).

Kind Regards,
Jose M.

Last updated: Sep 08 2025 at 20:22 UTC