Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

feat(Probability): notation and lemmas for the composition of a measure and a kernel (Measure.bind) #19639

Open
wants to merge 11 commits into
base: master
Choose a base branch
from
Open

feat(Probability): notation and lemmas for the composition of a measure and a kernel (Measure.bind) #19639

wants to merge 11 commits into from
+352 −0

Commits on Nov 24, 2024

  1. add parallelComp

    @RemyDegenne
    RemyDegenne committed Nov 24, 2024
    Configuration menu
    Copy the full SHA
    4aa7168 View commit details
    Browse the repository at this point in the history

Commits on Nov 25, 2024

  1. docstrings

    @RemyDegenne
    RemyDegenne committed Nov 25, 2024
    Configuration menu
    Copy the full SHA
    11c8f1d View commit details
    Browse the repository at this point in the history

  2. mk_all

    @RemyDegenne
    RemyDegenne committed Nov 25, 2024
    Configuration menu
    Copy the full SHA
    92772cd View commit details
    Browse the repository at this point in the history

  3. Identity, copy, discard and swap kernels

    @RemyDegenne
    RemyDegenne committed Nov 25, 2024
    Configuration menu
    Copy the full SHA
    c9a178b View commit details
    Browse the repository at this point in the history

  4. Merge remote-tracking branch 'origin/RD_id' into RD_para

    @RemyDegenne
    RemyDegenne committed Nov 25, 2024
    Configuration menu
    Copy the full SHA
    1c8907d View commit details
    Browse the repository at this point in the history

  5. fix docstring

    @RemyDegenne
    RemyDegenne committed Nov 25, 2024
    Configuration menu
    Copy the full SHA
    61a01db View commit details
    Browse the repository at this point in the history

Commits on Nov 28, 2024

  1. Merge remote-tracking branch 'origin/master' into RD_para

    @RemyDegenne
    RemyDegenne committed Nov 28, 2024
    Configuration menu
    Copy the full SHA
    29a2bcc View commit details
    Browse the repository at this point in the history

  2. 1 lemma + docstrings

    @RemyDegenne
    RemyDegenne committed Nov 28, 2024
    Configuration menu
    Copy the full SHA
    4f33b40 View commit details
    Browse the repository at this point in the history

  3. theorem -> lemma

    @RemyDegenne
    RemyDegenne committed Nov 28, 2024
    Configuration menu
    Copy the full SHA
    8041fd5 View commit details
    Browse the repository at this point in the history

Commits on Nov 30, 2024

  1. Merge remote-tracking branch 'origin/RD_para' into RD_comp

    @RemyDegenne
    RemyDegenne committed Nov 30, 2024
    Configuration menu
    Copy the full SHA
    590b356 View commit details
    Browse the repository at this point in the history

  2. add MeasureComp file

    @RemyDegenne
    RemyDegenne committed Nov 30, 2024
    Configuration menu
    Copy the full SHA
    d0c87ff View commit details
    Browse the repository at this point in the history