Skip to content
Proof PR

Monads: resync trace monad with nondet #2951

Sign in to view logs

Monads: resync trace monad with nondet

Monads: resync trace monad with nondet #2951

GitHub Actions / File annotations for theory linter succeeded Jul 17, 2024 in 0s

File annotations for theory linter

View more details on GitHub Actions