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: Apr 05 2026 at 20:36 UTC