Skip to content

Add BMV monads

Add BMV monads #303

Triggered via pull request December 12, 2024 18:04
@jvanbrueggejvanbruegge
synchronize #60
bmv_monads
Status Skipped
Total duration 3s
Artifacts

build_theories.yml

on: pull_request
Fit to window
Zoom out
Zoom in