Publication
DSN 2022
Invited talk

General Probability in Coq

View publication

Abstract

We have developed a general probability library in the Coq proof assistant intended for applications in machine learning and stochastic approximation. We will discuss design decisions and lessons learned.

Date

27 Jun 2022

Publication

DSN 2022

Authors

Topics

Resources

Share