Skip to content

Add BMV monads

Add BMV monads #324

Triggered via pull request January 1, 2025 13:38
@jvanbrueggejvanbruegge
synchronize #60
bmv_monads
Status Skipped
Total duration 2s
Artifacts

build_theories.yml

on: pull_request
Fit to window
Zoom out
Zoom in