Lean build

Add definition of invariant sigma algebra #14

Sign in to view logs

Triggered via pull request February 29, 2024 12:18

mseri

opened #10

inv-sigma

Status Success

Total duration 1m 14s

Artifacts –

build.yml

on: pull_request