Skip to content

Add BMV monads

Add BMV monads #322

Triggered via pull request December 26, 2024 17:17
@jvanbrueggejvanbruegge
synchronize #60
bmv_monads
Status Skipped
Total duration 2s
Artifacts

build_theories.yml

on: pull_request
Fit to window
Zoom out
Zoom in