coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Applications to medicine

From: José Manuel Rodriguez Caballero <josephcmac AT gmail.com>
To: cl-isabelle-users AT lists.cam.ac.uk
Cc: coq-club AT inria.fr, metamath AT googlegroups.com
Subject: [Coq-Club] Applications to medicine
Date: Fri, 3 Aug 2018 07:50:21 -0400
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=josephcmac AT gmail.com; spf=Pass smtp.mailfrom=josephcmac AT gmail.com; spf=None smtp.helo=postmaster AT mail-io0-f175.google.com
Ironport-phdr: 9a23:iBp+fBWB380QMwZ+9gZV/SFJ4jLV8LGtZVwlr6E/grcLSJyIuqrYYxKBt8tkgFKBZ4jH8fUM07OQ7/i+HzRYqb+681k6OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRoLerpBIHSk9631+ev8JHPfglEnjWwba9zIRmssQndqtQdjJd/JKo21hbHuGZDdf5MxWNvK1KTnhL86dm18ZV+7SleuO8v+tBZX6nicKs2UbJXDDI9M2Ao/8LrrgXMTRGO5nQHTGoblAdDDhXf4xH7WpfxtTb6tvZ41SKHM8D6Uaw4VDK/5KptVRTmijoINyQh/W/XhMJ+j79Vrgy9qBFk2YHYfJuYOeBicq/Bf94XQ3dKUMZLVyxGB4Oxd48BD+0aPeFCt4bzoEEBrR2jBQayAOPg0iNGhnjr0q0g0uQhHhzG0xIhHt0Wrnnbts76O70WUeCx0qbI1zLDZO5R1Df/74jIaQ4uoemMXb1sdMre01UgGhjKjlWVs4PlPjeV2v4RvGic6uptTOSigHMkpQFpujWj2Nsgh43Tio8Wyl3I7zt1zJg7KNGiVUJ2Y96pHZ1NvC+ALYR2WNktQ2RwtSY61LIGvZm7cTAPyJs9xh7fb+WLc4mP4h7/TeqRLyp0iXBldb6liBay9k+gyuL4VsaqylpFsi1FktzUunAM0Rzc9NSHR+Nj8ku93TuDzQPe5+FeLUwqi6bWJYQtzqMym5cTqUjDGzX5mETyjK+YbEUk/e2o5vzlYrXhvZ+TKZd0igHiPaQrgMOwHf81MgcLX2eB+OS80Kfv8lH+QLVPlvE2iLXWsIjGJcQHoa60GxNa0oE66xqmEzim1MkYkmIcIVJeeBOHipDpNEvULPD5C/e/mVWsny1xy/DIJL2ySqnKe3PH1bb6dLxw70pRjRcowMpEz5ZVEa0aZvn6Xwn4v5rFDUwXKQuxlsTgE1RK84oYRG+LNZWePLnTvkKF9NUEKuOFYIsYojG1f/oi/PP2jXQ8kFQ1cqyg3J9RY3e9SKc1a36FaGbh149SWVwBuRAzGbSz2Q+yFAVLbnP3ZJoSozQyCYaoF4DGH9n/j7mI3SP9FZpTNDkfVgK8VEzwfoDBYM8iLTqIK5Y4wDMBXLmlDYQm0EP27VKo+/9cNuPRvxYgm9fj2dxyvbOBkBgz8Xl1CJzY3TjSEid7mWQHQzJw16d68xRw

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.

[Coq-Club] Applications to medicine, José Manuel Rodriguez Caballero, 08/03/2018
- RE: [Coq-Club] Applications to medicine, Soegtrop, Michael, 08/03/2018
- Re: [Coq-Club] Applications to medicine, Tej Chajed, 08/03/2018
  - Re: [Coq-Club] Applications to medicine, Bas Spitters, 08/03/2018