coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] References about Machine Learning and the Lebesgue measure

From: Alexander Bentkamp <bentkamp AT gmail.com>
To: coq-club AT inria.fr
Subject: [Coq-Club] References about Machine Learning and the Lebesgue measure
Date: Tue, 11 Oct 2016 16:46:19 +0200
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=bentkamp AT gmail.com; spf=Pass smtp.mailfrom=bentkamp AT gmail.com; spf=None smtp.helo=postmaster AT mail-io0-f181.google.com
Ironport-phdr: 9a23:828tvB0bdYMSYvTLsmDT+DRfVm0co7zxezQtwd8ZsesRL/ad9pjvdHbS+e9qxAeQG96KsbQf2qGJ4uigATVGusnR9ihaMdRlbFwst4Y/p0QYGsmLCEn2frbBThcRO4B8bmJj5GyxKkNPGczzNBX4q3y26iMOSF2kbVImbre9JomHhMOukuu25pf7YgNShTP7b6khAg+xqFD4ssQGiI1uJ7x54BbPvnhBfvwekWllI06QlhPkzsi19Z9ntS9XvqRypIZ7TazmcvFgHvRjBzM8PjVt6Q==

Hello,

for my master thesis I formalized a theorem about machine learning in Isabelle/HOL, and I would like to include some references to similar topics in Coq.

Do you know any more Coq formalizations about Machine Learning except
Syntactic Foundations for Machine Learning, Bhat (2013)?

Do you know any more recent/relevant Coq formalization of the Lebesgue measure except for coq-markov by Robert Kam (http://coq.io/opam/coq-markov.8.5.0.html)?

Thanks for your help!

Best regards

Alex

[Coq-Club] References about Machine Learning and the Lebesgue measure, Alexander Bentkamp, 10/11/2016