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 23 2024 at 12:29 UTC